7:- assert( use_inference_engine(resolution) ).    8:- assert( use_algebra(alg_lukasiewicz) ).    9:- use_module('../pl/yadlr').   10
   11:- consult(domain).   12
   13:- set_proof_tree_log( yes ).   14
   15
   16preparation:-
   17	symbol_declarations,
   18	crisp_domain_axioms,
   19	domain_facts.
   20
   21/* query the degree of an instance's belonging to a concept,
   22   or check that a given degree is plausible */
   23
   24test_check_membership( D1, R1, D2, R2 ) :-
   25	set_proof_tree_log( yes ),
   26	yadlr_retract( kb ),
   27	preparation,
   28	check_membership( kb, superleague91, competition, D1, R1 ),
   29	check_membership( kb, superleague91, good_competition, D2, R2 ).
   30
   31/* query the types (concepts) that an instance belongs to */
   32
   33test_check_types( C, D, R ) :-
   34	set_proof_tree_log( yes ),
   35	yadlr_retract( kb ),
   36	preparation,
   37	check_types( kb, superleague91, D, C, R ).
   38
   39test_check_members :-
   40	set_proof_tree_log( yes ),
   41	yadlr_retract( kb ),
   42	load_tbox1,
   43	check_members( kb, good_competition, [0.3,0.3], [superleague91,serieA91], R1 ),
   44	check_members( kb, good_competition, [0.3],     [superleague91], R2 )