A build-it-yourself, 6-wheel rover based on the rovers on Mars!

TerminusDB is a distributed database with a collaboration model

Logtalk - declarative object-oriented logic programming language

An in-memory datalog implementation for OCaml.

tar creator+extractor in ~100 lines of prolog

Constraint Logic Programming over Integers

Interpreter for a simple Lisp. Written in Prolog.

A simple http server written in Prolog

Prolog program to extract dates (written in multiple formats) from strings