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

disallow abolish(_).

This commit is contained in:
Vitor Santos Costa 2010-02-26 10:38:56 +00:00
parent 00c3419e02
commit 34400afd8e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pl/preds.yap
View File

@ -503,6 +503,10 @@ abolish(N,A) :-
( '$is_dynamic'(T, M) -> '$abolishd'(T,M) ;
/* else */ '$abolishs'(T,M) ).
abolish(V) :- var(V), !,
'$do_error'(instantiation_error,abolish(V)).
abolish(Mod:V) :- var(V), !,
'$do_error'(instantiation_error,abolish(M:V)).
abolish(M:X) :- !,
'$abolish'(X,M).
abolish(X) :-