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
   31%test(ipar_f):-
   32%  pascal:induce_par_pascal_func([train],1,2,-2.0,2.0,-2.0,2.0,10,_).
   33
   34%test(ipar_f_l):-
   35%  induce_par_pascal_func([train],1,2,10,_).
   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
  104%test(ipar_f_gd):-
  105%  pascal:induce_par_pascal_func([train],1,2,-2.0,2.0,-2.0,2.0,10,_).
  106
  107%test(ipar_f_l_gd):-
  108 % pascal:induce_par_pascal_func([train],1,2,10,_).
  109
  110:- end_tests(triazinegd).