7 lines
69 B
Prolog
7 lines
69 B
Prolog
a(t(K),K) :- ground(K).
|
|
|
|
test :- a(t(3), M), M=M.
|
|
|
|
?- test.
|
|
true.
|