3 lines
52 B
Prolog
3 lines
52 B
Prolog
:- set_prolog_flag(occurs_check, true).
|
|
|
|
f(X, g(X)). |
:- set_prolog_flag(occurs_check, true).
|
|
|
|
f(X, g(X)). |