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
12 lines
191 B
Plaintext
12 lines
191 B
Plaintext
use_module(library(dif)).
|
|
use_module(library(atts)).
|
|
-X\=X.
|
|
-X=X.
|
|
dif(-X,X).
|
|
dif(-X,X), -X=X.
|
|
call_residue_vars(dif(-X,X), Vars).
|
|
set_prolog_flag(occurs_check, true).
|
|
-X\=X.
|
|
dif(-X,X).
|
|
halt.
|