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

TerminusDB is a distributed database with a collaboration model

PSLab Hardware Design and Schematics https://pslab.io

Some simple examples for new Prolog programmers

Stabilizer: Rigorous Performance Evaluation

A federated, open-source data catalog for all your big data and small data

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.

Heavily Xchat inspired beautiful irssi theme.

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

Embeddable Lambda Prolog Interpreter

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

tar creator+extractor in ~100 lines of prolog

An in-memory datalog implementation for OCaml.

Micro version of esplay hardware, ESP32 based gaming console

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

Strange Loop 2014 archives

Parser for Attempto Controlled English (ACE)

Constraint Logic Programming over Integers

Constraint Logic Programming over Finite Domains

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Some notes taken while working on Prolog

Translate XML Schema into equivalent JSON Schema

Interpreter for a simple Lisp. Written in Prolog.

All things Miniscope v4

Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard