*** Welcome to piglix ***

SWI-Prolog

SWI-Prolog
Swipl.png
PceEmacs.gif
PceEmacs - Emacs clone in SWI-Prolog
Original author(s) Jan Wielemaker
Developer(s) Jan Wielemaker, Anjo Anjewierden, etc
Initial release 1987; 30 years ago (1987)
Stable release
7.4.0-rc2 / 10 February 2017; 13 days ago (2017-02-10)
Preview release
7.5.1 / 10 February 2017; 13 days ago (2017-02-10)
Development status Actual
Written in C, Prolog
Operating system Cross-platform
Available in English
Type Logic programming
License LGPL
Website swi-prolog.org

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 (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).

SWI-Prolog installs with a web framework based on DCGs.


...
Wikipedia

...