All Categories → No Category → swi-prolog

Top 7 swi-prolog open source projects

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

✭ 16

prolog latex theorem-proving first-order-logic swi-prolog linear-logic proof-net displacement-calculus-grammars

IRC Bot Written in Prolog

✭ 19

prolog bot irc irc-bot irc-client swi-prolog

simple-template

Text templating processor for SWI-Prolog.

✭ 29

prolog template-engine swi-prolog

Blogging/CMS framework for SWI-Prolog.

✭ 18

prolog javascript HTML cms blog-engine swi-prolog blog-core

Randomized testing for Prolog à la QuickCheck

✭ 18

prolog Makefile quickcheck property-based-testing swi-prolog

⚔️ Game of Thrones character database and family trees in Prolog

✭ 64

prolog database prolog-implementation game-of-thrones swi-prolog family-tree got prolog-programming-language prolog-application prolog-rules prolog-exercises prolog-tutorial

OWL verbalizer: making machine-readable knowledge also human-readable

✭ 31

prolog XSLT java python HTML shell Batchfile ace owl swi-prolog

1-7 of 7 swi-prolog projects