SICStus Prolog

A Prolog from the SICS (Swedish Inst of Comp Sci).

E-mail: <sicstus-request@sics.se>. Mailing list: sicstus-users@sics.se.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

References in periodicals archive

Gecode, (2) ECLiPSe (Apt and Wallace 2007), SICStus Prolog, (3) JaCoP, (4) BProlog,5 Choco (Laburthe 2000), Mistral, (6) OR-tools, (7) gecoxicals, picat, (8) and Opturion CPX, (9) as well as CP solvers developed by the NICTA Optimization Research Group: g12-fd, g12-lazyfd (Feydy and Stuckey 2009), and Chuffed.

The MiniZinc challenge 2008-2013

Even SICStus Prolog had such an inefficient implementation of floating-point numbers as to make it unusable.

Evan Tick

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.