3 lines
32 B
Prolog
3 lines
32 B
Prolog
|
|
test(A):-
|
||
|
|
assertion(A==42).
|