awesome-prolog

Curated list of Prolog packages and resources
https://github.com/klaudiosinani/awesome-prolog

Last synced: 7 days ago
JSON representation

API interfaces
- amazon_api - Amazon API interface.
- blog_core - Blog/CMS framework.
- twitter_pack - Twitter API interface.
- irc_client - Low-level IRC interface.
- geoip - GeoIP interface.
- pl_omdb - OMDB API interface.
- amazon_api - Amazon API interface.
Artificial Intelligence
- zamia-ai - Open source AI system.
Build Systems
- biomake - GNU-Make-like building utility.
Compilers
- SWI-Prolog - Widely used, comprehensive Prolog compiler.
- GNU Prolog - ISO Prolog compiler with useful extensions.
- Eclipse CLP - A constraint logic programming system.
- XSB - XSB logic programming and deductive database system.
- GNU Prolog - ISO Prolog compiler with useful extensions.
- YAP - High-performance Prolog compiler.
- Ciao - A Prolog system with many extensions.
- GNU Prolog - ISO Prolog compiler with useful extensions.
Database
- db_facts - Centric abstraction layer for SQL.
- bio_db - Biological datasets manager.
- prosqlite - SQLite interface.
- prolongo - MongoDB driver.
- docstore - Document-oriented database.
- TerminuDB - for knowledge graph representation
Date
- julian - Date-time library.
Development
- typedef - Type definitions.
- lambda - Lambda expressions.
- fsyntax - Ciao functional syntax.
- func - Function application and composition.
- condition - Common Lisp-like condition system.
- function_expansion - Function-like macros.
IDE
- Prolog Development Tool - Prolog IDE for Eclipse.
- swish - SWI-Prolog web IDE.
- VSC-Prolog - Prolog extension for Visual Studio Code.
Interpreters
- golog - Interpreter in Go.
- erlog - Interpreter in Erlang.
- jiprolog - Interpreter in Java.
- prolog.js - Interpreter in JavaScript.
- prolog - Interpreter in Haskell.
- ELPI - Embeddable λProlog Interpreter in OCaml.
- scryer prolog - ISO-compatible interpreter in Rust.
JSON
- djson - Declarative JSON.
- djson - Declarative JSON.
Logging
- log4p - Logging library.
- httplog - HTTP logfiles.
Machine Learning
- mlu - Probabilistic logic programs.
- cplint - Reasoning suite for probabilistic logic programs.
- cplint_datasets - Dataset for machine learning.
Math
- matrix - Matrix operations.
- nan_numerics_prime - Prime numbers library.
- pljulia - Numerical and technical computing.
Miscellaneous
- Online compiler - Execute Prolog online.
- turing - Turing Machine simulator.
- webconsole - Browser as HTML console.
- yesbot - IRC Bot.
- prologmud - Online text adventure game.
Native
- by_unix - Unix primitives library.
- plgi - Gnome bindings.
- inotify - Linux notification library.
- plmidi - Macos MIDI interface.
Object Oriented Programming
- logtalk - Object oriented logic programming.
Parsing
- atom_feed - Atom and RSS feeds parser.
- yaml - YAML parser.
- atom_feed - Atom and RSS feeds parser.
- markdown - Markdown parser.
- yaml - YAML parser.
Regular Expressions
- regex - Regular expressions library.
Resources
- Books
  - Adventure in Prolog - Pragmatic approach to Prolog.
  - Natural Language Processing for Prolog Programmers - Turning theories into practical techniques.
  - Logic, Programming and Prolog - Foundations of Logic programming and programming techniques in Prolog.
  - Artificial Intelligence through Prolog - In-depth coverage of key concepts on artificial intelligence.
  - Building Expert Systems in Prolog - Build prototype expert system shells and their underlying inference engines.
  - Coding Guidelines for Prolog - Coding standards and good practices for Prolog.
  - The Art of Prolog - Advanced programming techniques for Prolog.
  - Logic, Programming and Prolog - Foundations of Logic programming and programming techniques in Prolog.
  - Adventure in Prolog - Pragmatic approach to Prolog.
  - Building Expert Systems in Prolog - Build prototype expert system shells and their underlying inference engines.
  - The Art of Prolog - Advanced programming techniques for Prolog.
- Community
  - Prolog FAQ - Frequently Asked Questions list of the SWI-Prolog newsgroup.
  - SWI-Prolog Discourse - Official SWI-Prolog Discourse board.
  - SWI-Prolog Mailing List - Announcements, questions and discussion among SWI-Prolog users.
  - SWI-Prolog Google Group - SWI-Prolog user
  - Stack Overflow Prolog - User questions under the Prolog tag.
  - Reddit Prolog - Logic Programming and Prolog subreddit.
- Free Courses
  - Prolog Online Training - Tutorials Point's series on Prolog.
  - Prolog in Artificial Intelligence - Tutorials Point's series on Prolog with lectures relating Prolog to AI.
  - Prolog Online Training - Tutorials Point's series on Prolog.
  - Prolog in Artificial Intelligence - Tutorials Point's series on Prolog with lectures relating Prolog to AI.
- Tutorials
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - The Power of Prolog - Introduction to modern Prolog.
  - Simply Logical - Intelligent reasoning by example.
  - Prolog Wikibook - Thorough Prolog overview.
  - Prolog for Software Engineering - Software engineering fundamentals using Prolog.
  - Prolog Modules - Fundamentals in SWI-Prolog Modules.
  - Web Applications in SWI-Prolog - Building web application with SWI-Prolog.
  - Printing Messages in SWI-Prolog - IO handling in libraries.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - Prolog Modules - Fundamentals in SWI-Prolog Modules.
  - Constraint Logic Programming over Finite Domains - Fundamentals of Constraint Systems on Finite Domains.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
  - P-99: Ninety-Nine Prolog Problems - Practice problems in Prolog and Logic programming.
- Videos
  - Prolog Tutorial - General hour-long video tutorial.
  - Introduction to Prolog - Hour-long introduction to Prolog.
  - Programming In Prolog - Four-part video introduction.
  - Programming In Prolog - Four-part video introduction.
REST Frameworks
- arouter - HTTP router/dispatcher.
Server
- httppl - Simple HTTP server.
- letswicrypt - HTTPS server.
Testing
- PlUnit - Prolog unit tests.
- PlUnit - Prolog unit tests.
Text Editor Extensions
- prolog.vim - Prolog integration for Vim.
- ediprolog - Prolog integration for Emacs.
- sublimeprolog - Prolog integration
- repl.vim - VIM REPL with support for SWIProlog.
- Ciao mode for Emacs - Emacs mode for Ciao and Prolog.
Utilities
- pac - Anonymous predicates expansion utility.
- gvterm - Reveal terms using Graphviz.
- odf_sheet - Load and analyze ODF spreadsheets.
- graphml - Create GraphML files.
- fileutils - File manipulation library.
- dia - UML loading predicates.
- tuProlog - Light-weight system for distributed applications and infrastructures.
- list_util - List utility predicates.
- cplint_r - R plotting predicates.
- tuProlog - Light-weight system for distributed applications and infrastructures.

Programming Languages

Prolog 31 C 5 Haskell 1 TypeScript 1 Vim script 1 Erlang 1 Vim Script 1 Emacs Lisp 1 Go 1 JavaScript 1

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

awesome-prolog

API interfaces

Artificial Intelligence

Build Systems

Compilers

Database

Date

Development

IDE

Interpreters

JSON

Logging

Machine Learning

Math

Miscellaneous

Native

Object Oriented Programming

Parsing

Regular Expressions

Resources

Books

Community

Free Courses

Tutorials

Videos

REST Frameworks

Server

Testing

Text Editor Extensions

Utilities