SICStus Prolog

SICStus Prolog

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

E-mail: <sicstus-request@sics.se>. Mailing list: sicstus-users@sics.se.
References in periodicals archive ?
The maintenance planner is implemented in SICStus Prolog using the clp(FD) library for Constraint Logic Programming over Finite Domains [17].
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.
Even SICStus Prolog had such an inefficient implementation of floating-point numbers as to make it unusable.