1:- module(test_pascal,
2 [test_pascal/0]). 3:- use_module(library(plunit)). 4
5test_pascal:-
6 run_tests([bongard,bongard_rule,triazine,bupa,triazinegd]).
7
8:-use_module(library(cplint_test/cplint_test)). 9
10
11
12:- begin_tests(triazine, []). 13
14:-ensure_loaded('examples/triazine-d'). 15:- set_pascal(verbosity,0). 16
17test(ip):-
18 induce_pascal([train],_).
19
20test(ip_tp):-
21 induce_pascal([train],P),
22 test_prob_pascal(P,[test],_LL,_Po,_N,_L).
23
24test(ip_t):-
25 induce_pascal([train],P),
26 test_pascal(P,[test],_LL,_AUCROC,_ROC,_AUCPR,_PR).
27
28test(ipar):-
29 induce_par_pascal([train],_R).
30
33
36
37:- end_tests(triazine). 38
39:- begin_tests(bupa, []). 40
41:-ensure_loaded('examples/bupa_d'). 42:- set_pascal(verbosity,0). 43test(i_bupa):-
44 induce_pascal([train],P),test_pascal(P,[test],_LL,_AUCROC,_ROC,_AUCPR,_PR).
45
46
47:- end_tests(bupa). 48
49:- begin_tests(bongard, []). 50
51
52:-ensure_loaded('examples/bongardkeys'). 53:- set_pascal(verbosity,0). 54test(i_bong):-
55 induce_pascal([train],P),test_prob_pascal(P,[test],_Pos,_Neg,_LL,_L).
56
57test(i_p_bong):-
58 induce_par_pascal([train],_P).
59
60:- end_tests(bongard). 61
62:- begin_tests(bongard_rule, []). 63
64
65:-ensure_loaded('examples/bongardkeys_rule'). 66:- set_pascal(verbosity,0). 67test(i_bong):-
68 induce_pascal([train],P),test_prob_pascal(P,[test],_Pos,_Neg,_LL,_L).
69
70test(i_p_bong):-
71 induce_par_pascal([train],_P).
72
73:- end_tests(bongard_rule). 74
75:- begin_tests(canc, []). 76
77
78:-ensure_loaded('examples/canc-d'). 79:- set_pascal(verbosity,0). 80test(i_canc):-
81 induce_pascal([train],P),test_prob_pascal(P,[test],_Pos,_Neg,_LL,_L).
82
83
84:- end_tests(canc). 85
86:- begin_tests(triazinegd, []). 87
88:-ensure_loaded('examples/triazine-dgd'). 89:- set_pascal(verbosity,0). 90test(ip_gd):-
91 induce_pascal([train],_).
92
93test(ip_tp_gd):-
94 induce_pascal([train],P),
95 test_prob_pascal(P,[test],_LL,_Po,_N,_L).
96
97test(ip_t_gd):-
98 induce_pascal([train],P),
99 test_pascal(P,[test],_LL,_AUCROC,_ROC,_AUCPR,_PR).
100
101test(ipar_gd):-
102 induce_par_pascal([train],_R).
103
106
108 109
110:- end_tests(triazinegd).