1:- use_module(library(slipcover)).    2
    3:- if(current_predicate(use_rendering/1)).    4:- use_rendering(c3).    5:- use_rendering(lpad).    6:- endif.

?- induce_par([train],P),test_prob(P,[train],NP,NN,LL,L). ?- induce_par([train],P). % learn the parameteters */

   13:-sc.   14
   15:- set_sc(verbosity,1).   16:- set_sc(depth_bound,false).   17:- set_sc(neg_ex,given).   18
   19bg([]).
   20
   21fold(train,[train1,train2,train3]).
   22
   23output(p/0).
   24
   25:- begin_in.   26p:- a,b.
   27
   28p:- \+ a,\+b.
   29
   30a:0.3.
   31
   32b:0.4.
   33:- end_in.   34
   35begin(model(train1)).
   36p.
   37end(model(train1)).
   38begin(model(train2)).
   39neg(p).
   40end(model(train2)).
   41
   42begin(model(train3)).
   43p.
   44end(model(train3))