| :- load([rules,utils]). | |
| :- begin_tests(t1). | |
| :- test1(true). % expect true to pass | |
| :- test0(false). % expect false to fail | |
| :- test1(X = 3). % unification should pass | |
| :- test1(_ = 3). % unification should pass | |
| :- test0(X \= 3). % not-unified should fail | |
| % (7-4) should have expected result | |
| :- test1((X is (7-4), X =:= 3)). | |
| :- test1((X is (7-4), X =\= 4)). | |
| % memberchk should pass/fail exactly once | |
| :- test1(memberchk(3,[1,3,5,3])). | |
| :- test0(memberchk(2,[1,3,5,3])). | |
| :- test0(memberchk(2,[])). | |
| :- end_tests_or_halt(0). % expect no failure |