1:- module(test_ex1,
    2  [test_ex1/0]).    3:- use_module(library(plunit)).    4
    5test_ex1:-
    6  run_tests([example_1]).
    7
    8:- use_module(sphere_test).    9
   10:- begin_tests(example_1, []).   11
   12:- ensure_loaded('../../examples/Example_1.pl').   13
   14test(pa):-
   15  run((prob(p(a),P),close_to(P,0.3))).
   16test(pb):-
   17  run((prob(p(b),P),close_to(P,0.342))).
   18test(ea):-
   19  run((prob(e(a),P),close_to(P,0.3))).
   20test(eb):-
   21  run((prob(e(b),P),close_to(P,0.3))).
   22test(da):-
   23  run((prob(d(a),P),close_to(P,0.7))).
   24test(db):-
   25  run((prob(d(b),P),close_to(P,1))).
   26
   27test(pabq):-
   28  is_true((query(p(a)))).
   29test(pbbq):-
   30  is_true((query(p(b)))).
   31test(eabq):-
   32  is_true((query(e(a)))).
   33test(ebbq):-
   34  is_true((query(e(b)))).
   35test(dabq):-
   36  is_true((query(d(a)))).
   37test(dbbq):-
   38  is_true((query(d(b)))).
   39  
   40:- end_tests(example_1).