TerminusDB is a distributed database with a collaboration model

Some simple examples for new Prolog programmers

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Logtalk - declarative object-oriented logic programming language

Test-driven system administration with a little extra logic.

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 in-memory datalog implementation for OCaml.

LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

Metagol - an inductive logic programming system

A PCB for attaching an iPad retina LCD to a DisplayPort source

Parser for Attempto Controlled English (ACE)

Strange Loop 2014 archives

Constraint Logic Programming over Finite Domains

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.

The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.

Polynomial-time Meta-Interpretive Learning

A terse declarative logic programming language

Tableau-based Theorem Prover for Natural Logic and Language

OWL2 library for Prolog

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

Language Server Protocol server for SWI-Prolog

A Magic: the Gathering™ expert system

A collection of Prolog libraries.

RTEC is an Event Calculus implementation optimised for stream reasoning

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

A Roguelike Tabletop RPG