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
   21/* query the degree of an instance's belonging to a concept */
   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
   42/* check that a given degree is plausible */
   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
   51/* query the types (concepts) that an instance belongs to */
   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
   62/* retrieve the members of a concept */
   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 )