:- 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