lagenar/tinyprolog
Naive interpreter for a subset of Prolog
Discovered public repositories for lagenar in the GitHub catalog.
Naive interpreter for a subset of Prolog
A First-order logic theorem prover
pacman
Emulador code2
Program to transform First order logic formulas into clause normal form