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

505 stars
29 watching
35 forks
last commit: about 4 years ago
Linked from 3 awesome lists

awesomelistlogicprogrammingprolog

Awesome Prolog / API interfaces

twitter_pack7over 5 years agoTwitter API interface
amazon_apiAmazon API interface
blog_coreBlog/CMS framework
irc_client2over 9 years agoLow-level IRC interface
geoip1about 10 years agoGeoIP interface
pl_omdb1about 9 years agoOMDB API interface

Awesome Prolog / Artificial Intelligence

zamia-ai159over 5 years agoOpen source AI system

Awesome Prolog / Build Systems

biomake103almost 3 years agoGNU-Make-like building utility

Awesome Prolog / Compilers

SWI-PrologWidely used, comprehensive Prolog compiler
GNU PrologISO Prolog compiler with useful extensions
YAP13over 5 years agoHigh-performance Prolog compiler
Ciao278almost 2 years agoA Prolog system with many extensions
Eclipse CLPA constraint logic programming system
XSBXSB logic programming and deductive database system

Awesome Prolog / Database

prolongo46over 8 years agoMongoDB driver
docstore10over 5 years agoDocument-oriented database
db_factsCentric abstraction layer for SQL
bio_dbBiological datasets manager
prosqliteSQLite interface
TerminuDB2,798almost 2 years agofor knowledge graph representation

Awesome Prolog / Date

julian27over 5 years agoDate-time library

Awesome Prolog / Development

typedefType definitions
lambdaLambda expressions
func19almost 10 years agoFunction application and composition
condition6over 11 years agoCommon Lisp-like condition system
function_expansion4almost 10 years agoFunction-like macros
fsyntaxCiao functional syntax

Awesome Prolog / IDE

swish508almost 2 years agoSWI-Prolog web IDE
Prolog Development ToolProlog IDE for Eclipse
VSC-Prolog98almost 3 years agoProlog extension for Visual Studio Code

Awesome Prolog / Interpreters

golog374almost 7 years agoInterpreter in Go
erlog372over 2 years agoInterpreter in Erlang
chalk1,860almost 2 years agoInterpreter in Rust
jiprolog132about 5 years agoInterpreter in Java
prolog.js81over 9 years agoInterpreter in JavaScript
prolog61about 11 years agoInterpreter in Haskell
ELPI292almost 2 years agoEmbeddable λProlog Interpreter in OCaml
scryer prolog2,091almost 2 years agoISO-compatible interpreter in Rust

Awesome Prolog / JSON

djsonDeclarative JSON

Awesome Prolog / Logging

log4p1over 3 years agoLogging library
httplog0over 6 years agoHTTP logfiles

Awesome Prolog / Machine Learning

mluProbabilistic logic programs
cplint69almost 2 years agoReasoning suite for probabilistic logic programs
cplint_datasets4almost 10 years agoDataset for machine learning

Awesome Prolog / Math

matrix12almost 3 years agoMatrix operations
nan_numerics_prime5over 9 years agoPrime numbers library
pljulia6about 8 years agoNumerical and technical computing

Awesome Prolog / Miscellaneous

Online compilerExecute Prolog online
turingTuring Machine simulator
yesbot20over 5 years agoIRC Bot
webconsoleBrowser as HTML console
prologmud3almost 5 years agoOnline text adventure game

Awesome Prolog / Native

by_unixUnix primitives library
inotify1almost 2 years agoLinux notification library
plmidi4almost 10 years agoMacos MIDI interface
plgiGnome bindings

Awesome Prolog / Object Oriented Programming

logtalkObject oriented logic programming

Awesome Prolog / Parsing

atom_feedAtom and RSS feeds parser
tokenize11about 7 years agoStraightforward text tokenizing
markdown20almost 6 years agoMarkdown parser
yamlYAML parser

Awesome Prolog / Regular Expressions

regex17about 9 years agoRegular expressions library

Awesome Prolog / REST Frameworks

arouter10over 5 years agoHTTP router/dispatcher

Awesome Prolog / Server

httppl29almost 10 years agoSimple HTTP server
letswicrypt36over 8 years agoHTTPS server

Awesome Prolog / Testing

tap12over 3 years agoAutomated TAP testing
quickcheck22about 7 years agoQuickCheck randomized testing
PlUnitProlog unit tests

Awesome Prolog / Text Editor Extensions

prolog.vim92over 3 years agoProlog integration for Vim
ediprolog38almost 2 years agoProlog integration for Emacs
sublimeprolog66almost 7 years agoProlog integration for Sublime Text
repl.vim54almost 8 years agoVIM REPL with support for SWIProlog
Ciao mode for Emacs5almost 2 years agoEmacs mode for Ciao and Prolog

Awesome Prolog / Utilities

pacAnonymous predicates expansion utility
list_util11about 8 years agoList utility predicates
gvtermReveal terms using Graphviz
odf_sheetLoad and analyze ODF spreadsheets
graphmlCreate GraphML files
fileutilsFile manipulation library
diaUML loading predicates
cplint_r3almost 8 years agoR plotting predicates
tuPrologLight-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 ProblemsPractice problems in Prolog and Logic programming
The Power of PrologIntroduction to modern Prolog
Simply LogicalIntelligent reasoning by example
Prolog WikibookThorough Prolog overview
Prolog for Software EngineeringSoftware engineering fundamentals using Prolog
Prolog ModulesFundamentals in SWI-Prolog Modules
Web Applications in SWI-PrologBuilding web application with SWI-Prolog
Constraint Logic Programming over Finite Domains189over 2 years agoFundamentals of Constraint Systems on Finite Domains
Printing Messages in SWI-PrologIO handling in libraries

Awesome Prolog / Resources / Videos

Prolog TutorialGeneral hour-long video tutorial
Introduction to PrologHour-long introduction to Prolog
Programming In PrologFour-part video introduction

Awesome Prolog / Resources / Free Courses

Prolog Online TrainingTutorials Point's series on Prolog
Prolog in Artificial IntelligenceTutorials Point's series on Prolog with lectures relating Prolog to AI

Awesome Prolog / Resources / Books

Adventure in PrologPragmatic approach to Prolog
Prolog Programming in DepthFull coverage of the Prolog programming language
Logic, Programming and PrologFoundations of Logic programming and programming techniques in Prolog
Natural Language Processing for Prolog ProgrammersTurning theories into practical techniques
Artificial Intelligence through PrologIn-depth coverage of key concepts on artificial intelligence
Building Expert Systems in PrologBuild prototype expert system shells and their underlying inference engines
Coding Guidelines for PrologCoding standards and good practices for Prolog
The Art of PrologAdvanced programming techniques for Prolog

Awesome Prolog / Resources / Community

Prolog FAQFrequently Asked Questions list of the SWI-Prolog newsgroup
SWI-Prolog DiscourseOfficial SWI-Prolog Discourse board
SWI-Prolog Mailing ListAnnouncements, questions and discussion among SWI-Prolog users
SWI-Prolog FreenodeIRC channel of the SWI-Prolog community
SWI-Prolog Google GroupSWI-Prolog user discussion forum
Stack Overflow PrologUser questions under the Prolog tag
Reddit PrologLogic Programming and Prolog subreddit

Backlinks from these awesome lists:

0