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]).
   22
   23output(p/0).
   24
   25:- begin_in.   26p:- c,\+ d,a,b.
   27
   28p:- d, \+ a,\+b.
   29
   30a:0.3.
   31
   32b:0.4.
   33
   34c:0.2.
   35
   36d:0.1.
   37
   38:- end_in.   39
   40begin(model(train1)).
   41p.
   42end(model(train1)).
   43begin(model(train2)).
   44neg(p).
   45end(model(train2))