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

Trivial

Browse Source
This commit is contained in:
Tiago Gomes
2013-01-10 17:23:09 +00:00
parent 1bb1138b3a
commit bd84949f09
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
packages/CLPBN/pfl.yap
View File

@@ -150,16 +150,16 @@ process_arg(Sk, Id, _I) -->
},
[Sk].
new_skolem(Sk,D) :-
new_skolem(Sk, D) :-
copy_term(Sk, Sk1),
skolem(Sk1, D1),
functor(Sk1,N,A),
functor(Sk ,N,A),
functor(Sk1, N, A),
functor(Sk , N, A),
!,
( D1 = D -> true ; throw(pfl(permission_error(redefining_domain(Sk),D:D1)))).
new_skolem(Sk,D) :-
functor(Sk ,N,A),
functor(NSk ,N,A),
new_skolem(Sk, D) :-
functor(Sk, N, A),
functor(NSk, N, A),
interface_predicate(NSk),
assert(skolem(NSk, D)).