Re: Prologs with Occurs Check constantly on?
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Wed, 12 Oct 2011 12:48:14 +0200
Jan Wielemaker schrieb:
Something else: I was thinking of a compile time
based occurs_check on/off thing, because it could be
applied selectively to code.
So instead of a flag that would affect the runtime,
if we had a flag that would affect the compile time,
we could for example compile certain modules without
occurs check and others with occurs check.
:- set_prolog_flag(clause_unify_checked, on).
code where we want to have occurs check on
:- set_prolog_flag(clause_unify_checked, off).