This is a Prolog implementation in the Edinburgh tradition
Description:
It is based on a restricted form of the WAM (RISC-WAM?). SWI-Prolog has a good set 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 transparent and fast C interface (in both directions), and a profiler.
