CLP(BN) fixes and declare dynamic as dynamic.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1861 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2007-03-30 22:42:15 +00:00
parent 0f5ccae3b7
commit f1411c368e
2 changed files with 3 additions and 0 deletions

View File

@ -239,6 +239,8 @@ fresh_attvar(Var, NVar) :-
bind_clpbns(Key, Domain, Table, Parents, Key1, Domain1, Table1, Parents1) :-
Key == Key1, !,
( Domain == Domain1, Table == Table1, Parents == Parents1 -> true ; throw(error(domain_error(bayesian_domain),bind_clpbns(var(Key, Domain, Table, Parents),var(Key1, Domain1, Table1, Parents1))))).
bind_clpbns(Key, _, _, _, Key1, _, _, _) :-
Key\=Key1, !, fail.
bind_clpbns(_, _, _, _, _, _, _, _) :-
format(user_error, 'unification of two bayesian vars not supported~n', []).

View File

@ -26,6 +26,7 @@
:- dynamic existing_attribute/4.
:- dynamic modules_with_attributes/1.
:- dynamic attributed_module/3.
modules_with_attributes([prolog]).