2:- format(user_error,
    3	  'sphere test suite.  To run all tests run ?- test.~n~n', []).    4
    5test:-
    6  use_module(library(sphere_test/test_ex2)),
    7  test_ex2,
    8  unload_file(library(sphere_test/test_ex2)),
    9  use_module(library(sphere_test/test_ex1)),
   10  test_ex1,
   11  unload_file(library(sphere_test/test_ex1)),
   12  %use_module(library(sphere_test/test_ex4)),
   13  %test_ex4,
   14  %unload_file(library(sphere_test/test_ex4)),
   15  use_module(library(sphere_test/test_ex6)),
   16  test_ex6.
   17  %unload_file(library(sphere_test/test_ex6)),
   18  %use_module(library(sphere_test/test_ex7)),
   19  %test_ex7.