8:- assert_if_new( use_inference_engine(resolution) ). 9:- assert_if_new( use_algebra(alg_lukasiewicz) ). 10:- use_module('../pl/yadlr'). 11
12:- consult(domain). 13
14:- set_proof_tree_log( yes ). 15
16preparation:-
17 symbol_declarations,
18 crisp_domain_axioms,
19 domain_facts.
20
22
23test1a :-
24 set_proof_tree_log( yes ),
25 yadlr_retract( kb ),
26 preparation,
27 yadlr_assert( kb, ( good(superleague91) ), _X ),
28 check_membership( kb, superleague91, good_competition, _Degree, Restr ),
29 fmt( 'Restrictions: = ~q~n', [Restr] ).
30
31
32test1b :-
33 set_proof_tree_log( yes ),
34 yadlr_retract( kb ),
35 preparation,
36 yadlr_concept( kb, bad ),
37 yadlr_assert( kb, all(X, dlequiv(dlnot(bad(X)), good(X)) ), 1.0 ),
38 yadlr_assert( kb, ( bad(superleague91) ), _X ),
39 check_membership( kb, superleague91, good_competition, _Degree, Restr ),
40 fmt( 'Restrictions: = ~q~n', [Restr] ).
41
43
44test2 :-
45 set_proof_tree_log( yes ),
46 yadlr_retract( kb ),
47 preparation,
48 check_membership( kb, superleague91, good_competition, 0.7, Restr ),
49 fmt( 'Restrictions: = ~q~n', [Restr] ).
50
52
53test3 :-
54 set_proof_tree_log( yes ),
55 yadlr_retract( kb ),
56 preparation,
57 check_types( kb, superleague91, D, C, R ),
58 fmt( 'Types: = ~q~n', [C] ),
59 fmt( 'Degrees: = ~q~n', [D] ),
60 fmt( 'Restrictions: = ~q~n', [R] ).
61
63
64test4 :-
65 set_proof_tree_log( yes ),
66 yadlr_retract( kb ),
67 preparation,
68 check_members( kb, good_competition, [0.3,0.3], [superleague91,serieA87], R1 ),
69 check_members( kb, good_competition, D, I, R2 )