SWI-Prolog Main development repository
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in y...
Parser for Attempto Controlled English (ACE)
Translate XML Schema into equivalent JSON Schema
A terse declarative logic programming language
GNU-Make-like utility for managing builds and complex workflows
Allow Lisp programs to stop implementing an ad-hoc, informally-specified...
A collection of Prolog libraries.
Run SWI-Prolog in your browser using WebAssemply
:crossed_swords: Game of Thrones character database and family trees in ...
logic programming with SPARQL
OWL verbalizer: making machine-readable knowledge also human-readable
Prolog HTTPS Servers
Text templating processor for SWI-Prolog.