1c52de9ab1
inspired by #2191 but for the `run_top_level_test_with_args`s and `run_top_level_test_no_args instead of the `load_module_test`s
7 lines
93 B
Plaintext
7 lines
93 B
Plaintext
set_prolog_flag(occurs_check, true).
|
|
X = -X.
|
|
asserta(f(X,g(X))).
|
|
f(X,X).
|
|
X-X = X-g(X).
|
|
halt.
|