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]).
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))
?-
induce_par([train],P)
,test_prob(P,[train],NP,NN,LL,L)
. ?-induce_par([train],P)
. % learn the parameteters */