Downloaded and installed the "stable" version (1.14) on Ubuntu and tried to run code that works fine on SWI-Prolog. One predicate used is call/1 and Ciao places that in a library hiord_rt that doesn't appear to be included in the stable version. How do I get and install that library? Or is there a workaround? I want to use it in the following code that adds list comprehensions to Prolog.
%-------------------------------------------------------
%% list comprehension defined
:- op(700, xfx, [ <- ]). :- op(450, xfx, [ .. ]). :- op(1100, yfx, [ & ]).
Y <- M .. N :- integer(M), integer(N), M =< N, between(M, N, Y).
Z <- {Var & Dec & Pred} :- findall(Var, maplist(call, [Dec, Pred]), Z).
%-------------------------------------------------------
Best regards, Robert Buckley delmas.buckley(a)gmail.com