It is an open source (BSD-2) implementation of the Prolog language with many extensions.
Technical articles and stack decisions from SWI-Prolog
No engineering content available yet.