[falsissime]

Or

    :- use_module(library(clpz)).

for its successor which runs with SICStus and Scryer.