SWI-Prolog is an open source implementation of the Prolog programming language. SWI-Prolog targets at developing real-world applications. To achieve this, in concentrates on libraries that facilitate interfacing to other software components, networking and multi-threading.
