A guide covering Prolog including the applications, libraries and tools that will make you a better and more efficient Prolog development.
Note: You can easily convert this markdown file to a PDF in VSCode using this handy extension Markdown PDF.
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Datalog is a declarative logic programming language that syntactically is a subset of Prolog.
Datalog: Deductive Database Programming
Datalog Programming | Stanford University
Intro to Data Management (Datalog) | University of Washington
Logical Query Languages | University of Toronto
Prolog Online Training | Prolog Certification Course
Programming in Prolog (PDF) | University of Arizona
Introduction to Prolog Programming | University of Amsterdam
Getting started with Prolog Language tutorial
Prolog Programming (PDF) - University of Washington
A Concise Introduction To Prolog | University of Pennsylvania
Visual Studio Code is a code editor redefined and optimized for building and debugging modern web and cloud applications.
Code Server is a tool that allows you to run VS Code on any machine anywhere and access it in the browser.
IntelliJ IDEA is an integrated development environment (IDE) that enables a smooth development workflow experience, from design, implementation, building, deploying, testing, and debugging.
IntelliJ Prolog is a plugin that provides Prolog language support for IntelliJ IDEA.
SWI-Prolog is a comprehensive free Prolog environment. It is widely used in research and education as well as commercial applications.
SICStus is a state-of-the-art, ISO standard compliant, Prolog development system. It's built around a high performance Prolog engine that can use the full virtual memory space for 32 & 64-bit architectures. SICStus is efficient and robust for large amounts of data and large applications.
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
XSB is a Logic Programming and Deductive Database system for Unix and Windows.
Visual Prolog is a multi-paradigm programming language based on the logical language Prolog.
AbcDatalog is an open-source implementation of the logic programming language Datalog written in Java. It provides ready-to-use implementations of common Datalog evaluation algorithms, as well as some experimental multi-threaded evaluation engines.
- If would you like to contribute to this guide simply make a Pull Request.
Distributed under the Creative Commons Attribution 4.0 International (CC BY 4.0) Public License.