14 Sep
2014
14 Sep
'14
4:41 a.m.
When I try to use the package in the subject heading I get
{ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(use_occurs_check) does not exist}
what should I be using in order to have access to the predicate
unify_with_occurs_check/2 ?
Thanks, --JL
I'm using ciao 1.14.2