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.
