A logic programming language based on formal logic and automated reasoning.
The Association for Logic Programming (ALP) promotes research, development, and applications of logic programming through conferences, publications, and community initiatives.
A tutorial about clp(fd) in the SWI-Prolog environment. (Prolog)
CLP(ℤ) — Constraint Logic Programming over Integers (Prolog)
This repo provides three-valued logic predicates like and, or and not, showing how easy it is to express logical concepts in prolog.
This is a tutorial that teaches Thom Frühwirth's CHR system that comes as part of the standard **SWI-Prolog distribution.
Ulrich Newmerkel's library for reified if, as a prolog pack (Prolog)
A comprehensive discussion of the most significant Prolog systems.
Publication by Ulrich Neumerkel, Stefan Kral on tackling impurity of Prolog programs
This library provides CLP(FD): Constraint Logic Programming over Finite Domains.
Simply Logical: Intelligent Reasoning by Example is a freely available book by Peter Flach that introduces logic programming and automated reasoning using Prolog, with a focus on practical examples and applications.
"The Power of Prolog" is an online resource authored by Markus Triska that explores various facets of the Prolog programming language, including its logical foundations, data structures, and applications in areas like combinatorial optimization and artificial intelligence.
The Prolog Discourse forum is an online community where Prolog enthusiasts, researchers, and developers discuss logic programming, share resources, and seek help with Prolog-related topics.
A community-driven forum for discussing SWI-Prolog-related topics, where users can ask questions, share knowledge, and engage in conversations about development, best practices, and new features. A valuable resource for both beginners and experienced users of SWI-Prolog.
The official website of SWI-Prolog, one of the most widely used Prolog implementations.
SWI-Prolog Solutions b.v. provides services related to SWI-Prolog, an open source (BSD-2) implementation of the Prolog programming language.