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

make sure query variables are accessible from top-level.

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-05-21 00:15:20 +01:00
parent 55e2e6fe3a
commit adcc2797e1
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
packages/CLPBN/clpbn.yap
View File

@ -156,10 +156,23 @@ clpbn_flag(parameter_softening,Before,After) :-
{Var = Key with Dist} :- {Var = Key with Dist} :-
put_atts(El,[key(Key),dist(DistInfo,Parents)]), put_atts(El,[key(Key),dist(DistInfo,Parents)]),
dist(Dist, DistInfo, Key, Parents), dist(Dist, DistInfo, Key, Parents),
store_var(El),
add_evidence(Var,Key,DistInfo,El) add_evidence(Var,Key,DistInfo,El)
% ,writeln({Var = Key with Dist}) % ,writeln({Var = Key with Dist})
. .
%
% make sure a query variable is reachable by the garbage collector.
%
store_var(El) :-
catch(b_getval(clpbn_qvars,Q.Tail), _, init_clpbn_vars(El, Q, Tail)),
Tail = [El|NewTail],
b_setval(clpbn_qvars, [Q|NewTail]).
init_clpbn_vars(El, Q, Tail) :-
Q = [El|Tail],
b_setval(clpbn_qvars, [Q|Tail]).
check_constraint(Constraint, _, _, Constraint) :- var(Constraint), !. check_constraint(Constraint, _, _, Constraint) :- var(Constraint), !.
check_constraint((A->D), _, _, (A->D)) :- var(A), !. check_constraint((A->D), _, _, (A->D)) :- var(A), !.
check_constraint((([A|B].L)->D), Vars, NVars, (([A|B].NL)->D)) :- !, check_constraint((([A|B].L)->D), Vars, NVars, (([A|B].NL)->D)) :- !,