#!/usr/bin/env swipl % Quick fwd test :- include(test_header). :- use_module(library(statistics)). %:- mpred_notrace_exec. % reset runtime counter :- statistics(runtime,_Secs). :- cls. path(1,2). path(1,4). path(2,3). path(3,4). path(1,3). ~(path(X,Y)/(number(X),Y is X+2)). :- listing(path). :- mpred_test(path(3, 4)). :- mpred_test(path(2, 3)). :- mpred_test(path(1, 2)). :- mpred_test(~path(1,3)). :- mpred_test(~path(2,4)). :- mpred_test(\+path(1,3)). :- mpred_test(\+path(2,4)). :- mpred_test(~path(6,8)).