Prolog

SWI-Prolog

SWI-Prolog is an implementation of Prolog in the Edinburgh tradition. It is based on a restricted form of the WAM (RISC-WAM?). It has a good collection of built-in predicates, a large set of which it shares with C-Prolog, Quintus Prolog and SICStus Prolog. It has a fairly good performance, with a fast compiler. It includes a Quintus-like module system, a library autoload facility, a garbage collector, on-line help, a trasparent and fast C interface (in both directions), and a profiler.

Syntax

pl [options]