From 06a5d8f9dbf9e9a17a7a5cb3be78779fdf76520c Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 30 Sep 2008 11:48:24 +0100 Subject: [PATCH] fix some unbound variables in dist_unbound --- CLPBN/clpbn/dists.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CLPBN/clpbn/dists.yap b/CLPBN/clpbn/dists.yap index a303f8e4f..57fe59094 100644 --- a/CLPBN/clpbn/dists.yap +++ b/CLPBN/clpbn/dists.yap @@ -92,11 +92,11 @@ dist(p(Type, CPT, Parents), Id, FParents) :- dist_unbound(V, ground(V)) :- var(V), !. -dist_unbound(p(Type,CPT), ground(Type)) :- +dist_unbound(p(Type,_), ground(Type)) :- \+ ground(Type), !. dist_unbound(p(_,CPT), ground(CPT)) :- \+ ground(CPT). -dist_unbound(p(Type,CPT,_), ground(Type)) :- +dist_unbound(p(Type,_,_), ground(Type)) :- \+ ground(Type), !. dist_unbound(p(_,CPT,_), ground(CPT)) :- \+ ground(CPT).