8:- assert_if_new( use_inference_engine(resolution) ).    9:- assert_if_new( use_algebra(alg_lukasiewicz) ).   10%:- use_module('pl/yadlr').
   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
   38% find the relation between x and d
   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
   49% find out x required in order to achieve a certain d
   50% NOTE how check_membership( kb, napoli, good_team, 0.85, Restr1 )
   51% finds a different solution that above
   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
   62% try -N constructs (at-least, at-most)
   63test4 :-
   64	set_proof_tree_log( yes ),
   65	%set_proof_tree_log( 'test4.log' ),
   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