WELCOME TO
SICStus Prolog
Leading Prolog Technology
SICStus Home
> Useful Links
Download for Evaluation
About SICStus Prolog
Start Page
Feature Highlights
Performance
Platforms
Documentation
Coming Features
Don't Panic!
Sales and Support
Customers
Evaluate Product
Pricing/Order Info
Download SICStus
Support
Add-Ons & Third Party
Extended Runtime
Other
More Information
Contact Information
Community
Links
Bibliography
Useful links for the SICStus user
Useful Links
W. Hett's
P-99: Ninety-Nine Prolog Problems
K. Striegnitz's
Learn Prolog Now!
R. Barták's
On-Line guide to Prolog Programming
P. B. Reintjes's
tutorial for software engineering with Prolog
J. Paine's
Introduction to Prolog for Mathematicians
P. Hancox's
Prolog course material (based on SICStus)
Material from an extensive course
given at
CLIP, University of Madrid
.
P. Brna's
online Prolog course
. Relates to an older version of SICStus Prolog, from before the Prolog standard was adopted.
R. Barták's
On-Line guide to Constraint Programming
T. Frühwirth's
Constraint Programming course
Håkan Kjellerstrand's
Constraint Programming blog
and
SICStus Prolog page
comp.lang.prolog
hosted by
Google
Logic programming - Wikipedia
Prolog Resource Guide and Prolog Implementations
Frequently Asked Questions - comp.lang.prolog
The ISO Prolog Standard
Global Constraint Catalog
CP-AI-OR 2018
CP 2018
ICLP 2018
PADL 2018
Theory and Practice of Logic Programming
ERCIM Working Group on Constraints
NordConsNet
ASTRA Group on Combinatorial Optimisation