Documentation

Comprehensive guides and references for SICStus Prolog

User's Manual

Complete reference documentation covering all aspects of SICStus Prolog.

HTML PDF

Release Notes

What's new in the latest version and detailed change history.

View Release Notes

Getting Started

New to SICStus? Start here for installation and basic usage guides.

Get Started

SPIDER IDE

Eclipse-based development environment with debugging and profiling.

Learn More

Library Reference

Documentation for 1000+ built-in predicates and library modules.

Browse Library

Constraint Solvers

CLP(FD), CLP(B), CLP(Q,R), CHR, and MiniZinc integration.

CLP(FD) Docs

Additional Resources

Amazon eBook

SICStus Prolog 4.3 manual available as Kindle ebook.

View on Amazon

GNU Emacs Interface

Use SICStus with your favorite editor.

Learn More

Academic Paper

Technical overview of SICStus Prolog architecture.

Read Paper