TerminusDB is a distributed database with a collaboration model

Stabilizer: Rigorous Performance Evaluation

Test-driven system administration with a little extra logic.

Embeddable Lambda Prolog Interpreter

An in-memory datalog implementation for OCaml.

High level commands to declare a hierarchy based on packed classes

Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

Extended DCG syntax for Prolog by Peter Van Roy

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Optional types for Prolog

Shape Grammars in Prolog

Pawns functional/imperative programming language compiler etc

Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output

Implementation of dependent type theory in SWI-Prolog

An implementation of a mini-ML written entirely in prolog

A Hindley-Milner implementation in Prolog.

An implementation in Lambda-Prolog of the Minimalist Type Theory

Effect handlers implementation in Prolog.