1:- module(test_ex4,
    2  [test_ex4/0]).    3:- use_module(library(plunit)).    4
    5test_ex4:-
    6  run_tests([example_4]).
    7
    8:- use_module(sphere_test).    9
   10:- begin_tests(example_4, []).   11
   12:- ensure_loaded('../../examples/Example_4.pl').   13
   14test(commj):-
   15  run((prob(commander(john),P),close_to(P,0.5))).
   16test(persj):-
   17  run((prob(person(john),P),close_to(P,0.5))).
   18
   19test(commjbq):-
   20  is_true((query(commander(john)))).
   21test(persjbq):-
   22  is_true((query(person(john)))).
   23  
   24:- end_tests(example_4).