Popular repositories Loading

1. SxxMachine SxxMachine Public

   C++ Prolog/Datalog Inference Engine

   Prolog 5 1

2. QuProlog QuProlog Public

   C++ 4 1

3. swipl-devel swipl-devel Public

   Forked from TeamSPoon/swipl-devel-unstable

   DIFF https://github.com/SWI-Prolog/swipl-devel/compare/master...logicmoo:minimal_again#files_bucket Issue tracker https://github.com/SWI-Prolog/roadmap/issues/40

   C 2

4. MachineSxx MachineSxx Public

   An even smaller simple C++ Prolog Machine

   Prolog 2

5. SxxMachine_unused SxxMachine_unused Public

   C++ Prolog Machine (unused)

   Java 2

6. swipl-tt swipl-tt Public

   Forked from sto0pkid/swipl-tt

   Implementation of dependent type theory in SWI-Prolog

   Prolog 2