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