- goals.pl is used by both compound_goal.toml and multiple_goals.toml therefor renamed the later to share a common prefix with goals.pl, to keep them together
3 lines
52 B
Prolog
3 lines
52 B
Prolog
:- set_prolog_flag(occurs_check, true).
|
|
|
|
f(X, g(X)). |