SWI-Prolog

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools, and extensive documentation. Wikipedia

Created Year: 1987
Developed by: Jan Wielemaker
Operating systems: BSD • GNU/Linux • Microsoft Windows • Q94 • macOS
Implemented in: C

Wikidata: Q2665141

Language types: constraint logic programming language