7:- assert_if_new( use_inference_engine(resolution) ). 8:- assert_if_new( 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
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
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 )