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
Last synced: 4 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.
-
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.
-
Database
-
Development
-
IDE
- Prolog Development Tool - Prolog IDE for Eclipse.
-
JSON
- djson - Declarative JSON.
-
Machine Learning
- mlu - Probabilistic logic programs.
-
Miscellaneous
- Online compiler - Execute Prolog online.
- turing - Turing Machine simulator.
- webconsole - Browser as HTML console.
-
Native
-
Object Oriented Programming
- logtalk - Object oriented logic programming.
-
Parsing
-
Testing
- PlUnit - Prolog unit tests.
-
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.
-
Resources
-
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.
- Learn Prolog Now! - Thorough introductory course to programming in Prolog.
-
Videos
- Prolog Tutorial - General hour-long video tutorial.
- Introduction to Prolog - Hour-long introduction to Prolog.
- Programming In Prolog - Four-part video introduction.
-
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.
-
Books
- Adventure in Prolog - Pragmatic approach to Prolog.
- 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.
- Natural Language Processing for Prolog Programmers - Turning theories into practical techniques.
-
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
- Stack Overflow Prolog - User questions under the Prolog tag.
- Reddit Prolog - Logic Programming and Prolog subreddit.
- SWI-Prolog Freenode - IRC channel of the SWI-Prolog community.
-
-
Artificial Intelligence
- zamia-ai - Open source AI system.
-
Build Systems
- biomake - GNU-Make-like building utility.
-
Date
- julian - Date-time library.
Categories
Sub Categories
Keywords
prolog
4
swi-prolog
4
database
2
interpreter
1
constraints
1
compiler
1
clp
1
ciao-prolog
1
bytecode
1
workflows
1
makefiles
1
gnu-make
1
bioinformatics
1
tensorflow
1
semantic-web
1
python
1
natural-language-processing
1
knowledgebase
1
artificial-intelligence
1
pl-omdb
1
omdb-api
1
omdb
1
callback
1
irc-protocol
1
irc-client
1
terminusdb
1
revision-control
1
opensource
1
open-source
1
nosql
1
linked-data
1
knowledge-graphs
1
immutable
1
headless-cms
1
headless
1
graph-database
1
document-database
1
collaboration
1
cms
1
acid
1
virtual-machine
1
prolog-programming-language
1
prolog-interpreter
1
prolog-implementation
1
prolog-compiler
1
programming-language
1
logic-programming
1
logic
1
iso-prolog-standard
1
irc
1