CapelliC/thea
OWL2 library for Prolog
Discovered public repositories for CapelliC in the GitHub catalog.
OWL2 library for Prolog
a subset of original thea2 repository
Logic Objects and Qt
Some sparse Prolog code I wrote (and sometime used)
SWI-Prolog console: run a fairly complete replacement of swipl-win.exe
running a GUI based on pqConsole - show solving N-Queens by means of CLP(FD)
minimal test of pqConsole
Qt Console running multi threaded SWI-Prolog
Intlog - a Prolog interpreter with OO extensions - implemented in C++