8:- assert_if_new( use_inference_engine(resolution) ). 9:- assert_if_new( use_algebra(alg_lukasiewicz) ). 11
12
13:- consult(domain). 14
15preparation:-
16 yadlr_init( kb ),
17 symbol_declarations,
18 crisp_domain_axioms,
19 domain_facts,
20 relation_declarations,
21 relational_domain_axioms,
22 relational_domain_facts.
23
24test1a :-
25 set_proof_tree_log( yes ),
26 preparation,
27 yadlr_assert( kb, ( good(superleague91) ), 0.6 ),
28 check_membership( kb, superleague91, good_competition, _Degree, Restr ),
29 fmt( 'Restrictions: = ~q~n', [Restr] ).
30
31test1b :-
32 set_proof_tree_log( yes ),
33 preparation,
34 yadlr_assert( kb, ( good(superleague91) ), _X ),
35 check_membership( kb, superleague91, good_competition, _Degree, Restr ),
36 fmt( 'Restrictions: = ~q~n', [Restr] ).
37
39test2 :-
40 set_proof_tree_log( 'test2.log' ),
41 preparation,
42 yadlr_assert( kb, ( good(superleague91) ), _X ),
43 check_membership( kb, panathinaikos, good_team, Degree, Restr1 ),
44 fmt( 'Restrictions: = ~q~n', [Restr1] ),
45 check_membership( kb, napoli, good_team, Degree, Restr2 ),
46 fmt( 'Restrictions: = ~q~n', [Restr2] ),
47 unset_proof_tree_log.
48
52test3 :-
53 set_proof_tree_log( 'test3.log' ),
54 preparation,
55 check_membership( kb, napoli, good_team, 0.85, Restr1 ),
56 fmt( 'Restrictions: = ~q~n', [Restr1] ),
57 yadlr_assert( kb, ( good(superleague91) ), _X ),
58 check_membership( kb, panathinaikos, good_team, 0.85, Restr2 ),
59 fmt( 'Restrictions: = ~q~n', [Restr2] ),
60 unset_proof_tree_log.
61
63test4 :-
64 set_proof_tree_log( yes ),
65 66 preparation,
67 extended_quantification_axioms,
68 check_membership( kb, napoli, very_good_team, _Deg, Restr1 ),
69 fmt( 'Restrictions: = ~q~n', [Restr1] ),
70 check_membership( kb, panathinaikos, very_good_team, _D, Restr2 ),
71 fmt( 'Restrictions: = ~q~n', [Restr2] ),
72 unset_proof_tree_log