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

fix cases where you get repeated keys or a(X,X) keys in PFL.

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-01-09 18:22:01 +00:00
parent 46fbc539bf
commit 6cee85bd60
2 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/CLPBN/clpbn/horus_lifted.yap
View File

@ -87,7 +87,8 @@ gen_table(Table, Phi) :-
all_tuples(Constraints, Tuple, Tuples) :- all_tuples(Constraints, Tuple, Tuples) :-
setof(Tuple, Constraints^run(Constraints), Tuples). findall(Tuple, run(Constraints), Tuples0),
sort(Tuples0, Tuples).
run([]). run([]).

9
packages/CLPBN/pfl.yap
View File

@ -153,12 +153,15 @@ process_arg(Sk, Id, _I) -->
new_skolem(Sk,D) :- new_skolem(Sk,D) :-
copy_term(Sk, Sk1), copy_term(Sk, Sk1),
skolem(Sk1, D1), skolem(Sk1, D1),
Sk1 =@= Sk, functor(Sk1,N,A),
functor(Sk ,N,A),
!, !,
( D1 = D -> true ; throw(pfl(permission_error(redefining_domain(Sk),D:D1)))). ( D1 = D -> true ; throw(pfl(permission_error(redefining_domain(Sk),D:D1)))).
new_skolem(Sk,D) :- new_skolem(Sk,D) :-
interface_predicate(Sk), functor(Sk ,N,A),
assert(skolem(Sk, D)). functor(NSk ,N,A),
interface_predicate(NSk),
assert(skolem(NSk, D)).
interface_predicate(Sk) :- interface_predicate(Sk) :-
Sk =.. SKAs, Sk =.. SKAs,