8 Aug
2001
8 Aug
'01
5:10 p.m.
Dear Roel,
I suppose you are using a Ciao version above the "current" version (1.6#3), aren't you? If this is the case, you have now to use the hiord package in all the files you want to use higher order, that is, include at the beginning of the code the declaration
:- use_package(hiord).
Daniel Cabeza