diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

move graphical model examples

Browse Source
This commit is contained in:
Tiago Gomes
2012-05-23 15:48:03 +01:00
parent 5b38891c21
commit 584e363aa1
15 changed files with 0 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
packages/CLPBN/examples/fail1.yap Normal file
View File

@@ -0,0 +1,21 @@
:- use_module(library(pfl)).
:- set_pfl_flag(solver,fove).
%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,ve).
%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,bp).
%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,cbp).
t(ann).
t(dave).
% p(ann,t).
markov p(X)::[t,f] ; [0.1, 0.3] ; [t(X)].
% use standard Prolog queries: provide evidence first.
?- p(ann,t), p(ann,X).
% ?- p(ann,X).