There are 11 repositories under swi-prolog topic.
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
:crossed_swords: Game of Thrones character database and family trees in Prolog
logic programming with SPARQL
OWL verbalizer: making machine-readable knowledge also human-readable
Randomized testing for Prolog à la QuickCheck
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Advanced support for working with RDF in Prolog.
A Wumpus World in c# and prolog with a GUI
An interpreter capable of executing a simple scripting language from a plain-text file
SWI-Prolog Logical Programming Languages
A library for visualizing graphs in Prolog.
SWI-Prolog Tutorial
Wumpus Implementation in Prolog Language