1:- module(test_ex6,
    2  [test_ex6/0]).    3:- use_module(library(plunit)).    4
    5test_ex6:-
    6  run_tests([example_6]).
    7
    8:- use_module(sphere_test).    9
   10:- begin_tests(example_6, []).   11
   12:- ensure_loaded('../../examples/Example_6.pl').   13
   14test(commj):-
   15  run((prob(a(i1),P),close_to(P,0.0))).
   16test(persj):-
   17  run((prob(b(i1),P),close_to(P,1.0))).
   18
   19test(commjbq):-
   20  is_false((query(a(i1)))).
   21test(persjbq):-
   22  is_true((query(b(i1)))).
   23  
   24:- end_tests(example_6).