Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-prolog
Curated list of Prolog packages and resources
https://github.com/klaudiosinani/awesome-prolog
- twitter_pack - Twitter API interface.
- amazon_api - Amazon API interface.
- blog_core - Blog/CMS framework.
- irc_client - Low-level IRC interface.
- geoip - GeoIP interface.
- pl_omdb - OMDB API interface.
- zamia-ai - Open source AI system.
- biomake - GNU-Make-like building utility.
- SWI-Prolog - Widely used, comprehensive Prolog compiler.
- GNU Prolog - ISO Prolog compiler with useful extensions.
- YAP - High-performance Prolog compiler.
- Ciao - A Prolog system with many extensions.
- Eclipse CLP - A constraint logic programming system.
- XSB - XSB logic programming and deductive database system.
- prolongo - MongoDB driver.
- docstore - Document-oriented database.
- db_facts - Centric abstraction layer for SQL.
- bio_db - Biological datasets manager.
- prosqlite - SQLite interface.
- TerminuDB - for knowledge graph representation
- julian - Date-time library.
- typedef - Type definitions.
- lambda - Lambda expressions.
- func - Function application and composition.
- condition - Common Lisp-like condition system.
- function_expansion - Function-like macros.
- fsyntax - Ciao functional syntax.
- swish - SWI-Prolog web IDE.
- Prolog Development Tool - Prolog IDE for Eclipse.
- VSC-Prolog - Prolog extension for Visual Studio Code.
- golog - Interpreter in Go.
- erlog - Interpreter in Erlang.
- chalk - Interpreter in Rust.
- 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.
- djson - Declarative JSON.
- log4p - Logging library.
- httplog - HTTP logfiles.
- mlu - Probabilistic logic programs.
- cplint - Reasoning suite for probabilistic logic programs.
- cplint_datasets - Dataset for machine learning.
- matrix - Matrix operations.
- nan_numerics_prime - Prime numbers library.
- pljulia - Numerical and technical computing.
- Online compiler - Execute Prolog online.
- turing - Turing Machine simulator.
- yesbot - IRC Bot.
- webconsole - Browser as HTML console.
- prologmud - Online text adventure game.
- by_unix - Unix primitives library.
- inotify - Linux notification library.
- plmidi - Macos MIDI interface.
- plgi - Gnome bindings.
- logtalk - Object oriented logic programming.
- atom_feed - Atom and RSS feeds parser.
- tokenize - Straightforward text tokenizing.
- markdown - Markdown parser.
- yaml - YAML parser.
- regex - Regular expressions library.
- arouter - HTTP router/dispatcher.
- httppl - Simple HTTP server.
- letswicrypt - HTTPS server.
- tap - Automated TAP testing.
- quickcheck - QuickCheck randomized testing.
- PlUnit - Prolog unit tests.
- 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.
- pac - Anonymous predicates expansion utility.
- list_util - 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 - R plotting predicates.
- tuProlog - Light-weight system for distributed applications and infrastructures.
- 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 - Fundamentals of Constraint Systems on Finite Domains.
- Printing Messages in SWI-Prolog - IO handling in libraries.
- Prolog Tutorial - General hour-long video tutorial.
- Introduction to Prolog - Hour-long introduction to Prolog.
- Programming In Prolog - Four-part video introduction.
- 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.
- 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.
- 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
- Stack Overflow Prolog - User questions under the Prolog tag.
- Reddit Prolog - Logic Programming and Prolog subreddit.
- ![CC0
Programming Languages
Keywords
prolog
16
swi-prolog
10
constraints
3
database
2
prolog-programming-language
2
prolog-interpreter
2
prolog-implementation
2
logic-programming
2
iso-prolog-standard
2
clp
2
ciao-prolog
2
emacs
2
irc-client
2
irc
2
omdb
1
programming-language
1
prolog-compiler
1
callback
1
irc-protocol
1
virtual-machine
1
acid
1
cms
1
collaboration
1
document-database
1
graph-database
1
headless
1
headless-cms
1
immutable
1
python
1
natural-language-processing
1
semantic-web
1
tensorflow
1
bioinformatics
1
gnu-make
1
makefiles
1
workflows
1
bytecode
1
knowledgebase
1
artificial-intelligence
1
compiler
1
pl-omdb
1
interpreter
1
omdb-api
1
logic
1
regular-expression
1
route-handler
1
router
1
routing-engine
1
https
1
https-server
1