CapelliC/thea
OWL2 library for Prolog
running a GUI based on pqConsole - show solving N-Queens by means of CLP(FD)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
OWL2 library for Prolog
a subset of original thea2 repository
Logic Objects and Qt
Some sparse Prolog code I wrote (and sometime used)