Some simple examples for new Prolog programmers

Logtalk - declarative object-oriented logic programming language

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

An X11 window manager written in Prolog

An in-memory datalog implementation for OCaml.

tar creator+extractor in ~100 lines of prolog

Constraint Logic Programming over Integers

Constraint Logic Programming over Finite Domains

Online, interactive edition of the "Simply Logical" Prolog textbook

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Translate XML Schema into equivalent JSON Schema

Interpreter for a simple Lisp. Written in Prolog.

Tableau-based Theorem Prover for Natural Logic and Language

A terse declarative logic programming language

GNU-Make-like utility for managing builds and complex workflows

RTEC is an Event Calculus implementation optimised for stream reasoning

A collection of Prolog libraries.

cplint is a suite of programs for reasoning with probabilistic logic programs

random stuff in prolog