Logtalk - declarative object-oriented logic programming language

Test-driven system administration with a little extra logic.

Embeddable Lambda Prolog Interpreter

An in-memory datalog implementation for OCaml.

Metagol - an inductive logic programming system

A PCB for attaching an iPad retina LCD to a DisplayPort source

Constraint Logic Programming over Finite Domains

A Prolog library to connect to PostgreSQL databases

Language Server Protocol server for SWI-Prolog

Prolog versions of the WordNet databases

Prolog stuff

Randomized testing for Prolog à la QuickCheck

Apply and compose functions in Prolog