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