1:- module(test_ex2,
    2  [test_ex2/0]).    3:- use_module(library(plunit)).    4
    5test_ex2:-
    6  run_tests([example_2]).
    7
    8:- use_module(sphere_test).    9
   10:- begin_tests(example_2, []).   11
   12:- ensure_loaded('../../examples/Example_2.pl').   13
   14test(discb):-
   15  run((prob(discount(bill),P),close_to(P,0.44))).
   16
   17test(discbbq):-
   18  is_true((query(discount(bill)))).
   19
   20:- end_tests(example_2).