2p-kt icon indicating copy to clipboard operation
2p-kt copied to clipboard

Published 20 hours ago • verified publisher icon tuProlog

Support occur-check enable/disable via flags

Open gciatto opened this issue 3 years ago • 0 comments

It should be possible to enable/disable "occur check" in unification via the occur_check flag.

gciatto avatar May 12 '22 09:05 gciatto