SWIProlog

Logo of SWIProlog

This is an automatic translation generated by artificial intelligence. May contain errors.

SWI-Prolog is an open-source implementation of the Prolog programming language. SWI-Prolog has a rich set of features, libraries (including its own GUI library, XPCE), tools (including an IDE), and extensive documentation. SWI-Prolog runs on Unix, Windows, and Mac platforms.