prolog topic
awesome-prolog
Curated list of Prolog packages and resources
datalog
An in-memory datalog implementation for OCaml.
ut
Yet Another Efficient Unification Algorithm
prolog-dry
A terse Prolog course
awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
learn
:books: codes written while learning them.
prolog_puzzles
Prolog puzzles for fun and profit (mostly fun)
clpb
Boolean Constraint Solving in Prolog
clpfd
Constraint Logic Programming over Finite Domains
clpz
Constraint Logic Programming over Integers