Searched refs:meta_test (Results 1 - 1 of 1) sorted by relevance

/ec/ECSpooler/backends/prolog/
H A DpredTest.pl0 meta_test :- \+ model(_), \+ student(_).
2 % The [!] in the second [meta_test] is important. It stops Prolog
8 meta_test :- model(_), student(S), !, apply(pred, S). label
9 test('true') :- meta_test.
1 meta_test :- \\+ model(_), \\+ student(_). label

Completed in 6 milliseconds