15 Sep
2014
15 Sep
'14
2:16 a.m.
Despite the error message
unify_with_occurs_check/2
exists and works. So problem solved.
--JL
On Sat, Sep 13, 2014 at 10:41 PM, James Lipton <jlipton(a)wesleyan.edu> wrote:
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