logo_v4_1.jpg

SICStus Prolog - Leading Prolog Technology

External homepage: http://www.sics.se/sicstus/

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.

SICStus is built around a high performance Prolog engine that can use the full virtual memory space. SICStus Prolog is efficient and robust for large amounts of data and large applications.