awesome-prolog

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

Last synced: about 5 hours 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
- 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
Development
- typedef - Type definitions.
- lambda - Lambda expressions.
- fsyntax - Ciao functional syntax.
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
- by_unix - Unix primitives library.
- plgi - Gnome bindings.
Object Oriented Programming
- logtalk - Object oriented logic programming.
Parsing
- atom_feed - Atom and RSS feeds parser.
- yaml - YAML parser.
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.
- 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.
Artificial Intelligence
- zamia-ai - Open source AI system.
Build Systems
- biomake - GNU-Make-like building utility.
Date
- julian - Date-time library.

Programming Languages

Prolog 10 C 2

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

awesome-prolog

API interfaces

Compilers

Database

Development

IDE

JSON

Machine Learning

Miscellaneous

Native

Object Oriented Programming

Parsing

Testing

Utilities

Resources

Tutorials

Videos

Free Courses

Books

Community

Artificial Intelligence

Build Systems

Date