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

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

Logtalk - declarative object-oriented logic programming language

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

Interpreter for a simple Lisp. Written in Prolog.

Text Adventure game in SWI Prolog.

A simple http server written in Prolog

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