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

document BDD package

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-09-30 15:45:01 +01:00
parent bb6ae90019
commit 448e2c88e1
1 changed files with 97 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

97
packages/bdd/examples/bdd.yap Normal file
View File

@ -0,0 +1,97 @@
:- style_check(all).
:- use_module(library(bdd)).
:- use_module(library(lists)).
:- use_module(library(maplist)).
t1 :-
t1(X),
writeln(X),
fail.
t1.
t1(BDD:T) :-
bdd_new(X+(_Y+X)*(-_Z), BDD),
bdd_tree(BDD,T).
t2 :-
t2(X),
writeln(X),
fail.
t2.
t2(V) :-
bdd_new(X+(Y+X)*(-Z), BDD),
member(X, [0,1]),
member(Y, [0,1]),
member(Z, [0,1]),
bdd_eval(BDD, V).
t3 :-
t3(X),
writeln(X),
fail.
t3.
t3(V) :-
bdd_new(X+(Y+X)*(-Z), BDD),
bdd_tree(BDD, bdd(_, T, _Vs) ),
reverse(T, RT),
member(X, [0,1]),
member(Y, [0,1]),
member(Z, [0,1]),
foldl(eval_bdd, RT, _, V).
eval_bdd(pp(P,X,L,R), _, P) :-
P is ( X/\L ) \/ ( (1-X) /\ R ).
eval_bdd(pn(P,X,L,R), _, P) :-
P is ( X/\L ) \/ ( (1-X) /\ (1-R) ).
t4 :-
t4(_),
fail.
t4.
t4([X,Y,Z]) :-
bdd_new(X+(Y+X)*(-Z), BDD),
bdd_print(BDD, user_output).
t5 :-
t5(X),
writeln(X),
fail.
t5.
t5(V) :-
bdd_new(X+(Y+X)*(-Z), BDD),
member(X, [0.3,0.7]),
member(Y, [0.4,0.6]),
member(Z, [0.9,0.1]),
bdd_to_probability_sum_product(BDD, V).
t6 :-
t6(X),
writeln(X),
fail.
t6.
t6(V) :-
bdd_new(X+(Y+X)*(-Z), BDD),
bdd_tree(BDD, bdd(_, T, _Vs) ),
reverse(T, RT),
member(X, [0.3,0.7]),
member(Y, [0.4,0.6]),
member(Z, [0.9,0.1]),
foldl(eval_prob, RT, _, V).
eval_prob(pp(P,X,L,R), _, P) :-
P is X*L + (1-X) * R.
eval_prob(pn(P,X,L,R), _, P) :-
P is X * L + (1-X) * (1-R).