awesome-prolog

Prolog framework collection

A curated collection of Prolog frameworks and libraries for building logic-based applications.

Curated list of Prolog packages and resources

GitHub
504 stars
29 watching
35 forks
last commit: about 2 years ago
Linked from 3 awesome lists

awesomelistlogicprogrammingprolog

Awesome Prolog / API interfaces
twitter_pack 7 over 3 years ago Twitter API interface
amazon_api Amazon API interface
blog_core Blog/CMS framework
irc_client 2 over 7 years ago Low-level IRC interface
geoip 1 about 8 years ago GeoIP interface
pl_omdb 1 over 7 years ago OMDB API interface

Awesome Prolog / Artificial Intelligence
zamia-ai 159 over 3 years ago Open source AI system

Awesome Prolog / Build Systems
biomake 103 about 1 year ago GNU-Make-like building utility

Awesome Prolog / Compilers
SWI-Prolog Widely used, comprehensive Prolog compiler
GNU Prolog ISO Prolog compiler with useful extensions
YAP 13 almost 4 years ago High-performance Prolog compiler
Ciao 272 6 days ago A Prolog system with many extensions
Eclipse CLP A constraint logic programming system
XSB XSB logic programming and deductive database system

Awesome Prolog / Database
prolongo 44 over 6 years ago MongoDB driver
docstore 10 almost 4 years ago Document-oriented database
db_facts Centric abstraction layer for SQL
bio_db Biological datasets manager
prosqlite SQLite interface
TerminuDB 2,783 17 days ago for knowledge graph representation

Awesome Prolog / Date
julian 27 over 3 years ago Date-time library

Awesome Prolog / Development
typedef Type definitions
lambda Lambda expressions
func 19 about 8 years ago Function application and composition
condition 6 over 9 years ago Common Lisp-like condition system
function_expansion 4 about 8 years ago Function-like macros
fsyntax Ciao functional syntax

Awesome Prolog / IDE
swish 504 3 months ago SWI-Prolog web IDE
Prolog Development Tool Prolog IDE for Eclipse
VSC-Prolog 97 about 1 year ago Prolog extension for Visual Studio Code

Awesome Prolog / Interpreters
golog 374 about 5 years ago Interpreter in Go
erlog 371 9 months ago Interpreter in Erlang
chalk 1,843 about 1 month ago Interpreter in Rust
jiprolog 132 about 3 years ago Interpreter in Java
prolog.js 81 almost 8 years ago Interpreter in JavaScript
prolog 61 over 9 years ago Interpreter in Haskell
ELPI 290 4 days ago Embeddable λProlog Interpreter in OCaml
scryer prolog 2,060 4 days ago ISO-compatible interpreter in Rust

Awesome Prolog / JSON
djson Declarative JSON

Awesome Prolog / Logging
log4p 1 over 1 year ago Logging library
httplog 0 almost 5 years ago HTTP logfiles

Awesome Prolog / Machine Learning
mlu Probabilistic logic programs
cplint 69 5 days ago Reasoning suite for probabilistic logic programs
cplint_datasets 4 almost 8 years ago Dataset for machine learning

Awesome Prolog / Math
matrix 12 12 months ago Matrix operations
nan_numerics_prime 5 almost 8 years ago Prime numbers library
pljulia 6 about 6 years ago Numerical and technical computing

Awesome Prolog / Miscellaneous
Online compiler Execute Prolog online
turing Turing Machine simulator
yesbot 20 over 3 years ago IRC Bot
webconsole Browser as HTML console
prologmud 3 about 3 years ago Online text adventure game

Awesome Prolog / Native
by_unix Unix primitives library
inotify 1 almost 8 years ago Linux notification library
plmidi 4 almost 8 years ago Macos MIDI interface
plgi Gnome bindings

Awesome Prolog / Object Oriented Programming
logtalk Object oriented logic programming

Awesome Prolog / Parsing
atom_feed Atom and RSS feeds parser
tokenize 11 over 5 years ago Straightforward text tokenizing
markdown 20 about 4 years ago Markdown parser
yaml YAML parser

Awesome Prolog / Regular Expressions
regex 17 over 7 years ago Regular expressions library

Awesome Prolog / REST Frameworks
arouter 10 almost 4 years ago HTTP router/dispatcher

Awesome Prolog / Server
httppl 29 almost 8 years ago Simple HTTP server
letswicrypt 36 almost 7 years ago HTTPS server

Awesome Prolog / Testing
tap 12 almost 2 years ago Automated TAP testing
quickcheck 22 over 5 years ago QuickCheck randomized testing
PlUnit Prolog unit tests

Awesome Prolog / Text Editor Extensions
prolog.vim 92 almost 2 years ago Prolog integration for Vim
ediprolog 37 about 2 months ago Prolog integration for Emacs
sublimeprolog 66 about 5 years ago Prolog integration for Sublime Text
repl.vim 54 about 6 years ago VIM REPL with support for SWIProlog
Ciao mode for Emacs 5 about 1 month ago Emacs mode for Ciao and Prolog

Awesome Prolog / Utilities
pac Anonymous predicates expansion utility
list_util 11 over 6 years ago List utility predicates
gvterm Reveal terms using Graphviz
odf_sheet Load and analyze ODF spreadsheets
graphml Create GraphML files
fileutils File manipulation library
dia UML loading predicates
cplint_r 3 about 6 years ago R plotting predicates
tuProlog Light-weight system for distributed applications and infrastructures

Awesome Prolog / Resources / Tutorials
Learn Prolog Now! Thorough introductory course to programming in Prolog
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
Constraint Logic Programming over Finite Domains 185 10 months ago Fundamentals of Constraint Systems on Finite Domains
Printing Messages in SWI-Prolog IO handling in libraries

Awesome Prolog / Resources / Videos
Prolog Tutorial General hour-long video tutorial
Introduction to Prolog Hour-long introduction to Prolog
Programming In Prolog Four-part video introduction

Awesome Prolog / Resources / 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

Awesome Prolog / Resources / Books
Adventure in Prolog Pragmatic approach to Prolog
Prolog Programming in Depth Full coverage of the Prolog programming language
Logic, Programming and Prolog Foundations of Logic programming and programming techniques in Prolog
Natural Language Processing for Prolog Programmers Turning theories into practical techniques
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

Awesome Prolog / Resources / 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 Freenode IRC channel of the SWI-Prolog community
SWI-Prolog Google Group SWI-Prolog user discussion forum
Stack Overflow Prolog User questions under the Prolog tag
Reddit Prolog Logic Programming and Prolog subreddit

Backlinks from these awesome lists:

0