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

fix bugs with wrong number of arguments

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@180 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-11-15 19:01:41 +00:00
parent 164980a931
commit f084a042bf
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/preds.yap
View File

@ -56,7 +56,7 @@ assert(C) :-
; ;
'$undefined'(H,Mod) -> '$undefined'(H,Mod) ->
functor(H, Na, Ar), functor(H, Na, Ar),
'$dynamic'(Na/Ar), '$dynamic'(Na/Ar, Mod),
'$assertat_d'(Where,H,B,C0,Mod,R) '$assertat_d'(Where,H,B,C0,Mod,R)
; ;
'$access_yap_flags'(14, 1) -> % I can assert over static facts in YAP mode '$access_yap_flags'(14, 1) -> % I can assert over static facts in YAP mode
@ -87,7 +87,7 @@ assert(C) :-
; ;
'$undefined'(H, Mod) -> '$undefined'(H, Mod) ->
functor(H, Na, Ar), functor(H, Na, Ar),
'$dynamic'(Na/Ar), '$dynamic'(Na/Ar, Mod),
'$assertat_d'(Where,H,B,C0,Mod,R) '$assertat_d'(Where,H,B,C0,Mod,R)
; ;
functor(H,Na,Ar), functor(H,Na,Ar),
@ -131,7 +131,7 @@ assertz_static(C) :-
throw(error(permission_error(modify,dynamic_procedure,Na/Ar),P)) throw(error(permission_error(modify,dynamic_procedure,Na/Ar),P))
; ;
'$undefined'(H,Mod), '$get_value'('$full_iso',true) -> '$undefined'(H,Mod), '$get_value'('$full_iso',true) ->
functor(H,Na,Ar), '$dynamic'(Na/Ar), '$assertat_d'(Where,H,B,C0,Mod,R) functor(H,Na,Ar), '$dynamic'(Na/Ar, Mod), '$assertat_d'(Where,H,B,C0,Mod,R)
; ;
'$assert1'(Where,C,C0,Mod,H) '$assert1'(Where,C,C0,Mod,H)
). ).