1:- use_module(library(slipcover)). 2
3:- if(current_predicate(use_rendering/1)). 4:- use_rendering(c3). 5:- use_rendering(lpad). 6:- endif.
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))
?-
induce_par([train],P)
,test_prob(P,[train],NP,NN,LL,L)
. ?-induce_par([train],P)
. % learn the parameteters */