TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

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

Logtalk - declarative object-oriented logic programming language

An in-memory datalog implementation for OCaml.

Constraint Logic Programming over Integers

Some notes taken while working on Prolog

Constraint Logic Programming over Finite Domains

Interpreter for a simple Lisp. Written in Prolog.

Boolean Constraint Solving in Prolog

CLP(BNR) module for SWI-Prolog

Prolog implementation of microKanren

Text templating processor for SWI-Prolog.

A simple http server written in Prolog

CHR: Leuven Constraint Handling Rules

Prolog Pengines + vue.js

Yes, Erlang in SWI-Prolog!

Write TAP tests with SWI-Prolog

An alternative HTTP router/dispatcher for SWI-Prolog.

Ulrich Newmerkel's library for reified if, as a prolog pack

DCG utility predicates for Prolog

Open dicts for SWI Prolog

CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck

Logical arithmetic on dates and times in Prolog

Benoit Desouter's library for tabling on delimited continuations

Declarative JSON library for Prolog

Easy web client library for Prolog

Implement your own prolog streams with predicate sources and sinks

PEG Syntax for the Prolog

SWI-Prolog pack to talk to an R process