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

assorted changes

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@50 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-05-30 17:04:07 +00:00
parent 942f20ad24
commit c63a46bf2a
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pl/strict_iso.yap
View File

@ -18,7 +18,7 @@
'$iso_check_goal'(!,G0) :- !. '$iso_check_goal'(!,G0) :- !.
'$iso_check_goal'((G1|G2),G0) :- '$iso_check_goal'((G1|G2),G0) :-
'$access_yap_flags'(9,1), !, '$access_yap_flags'(9,1), !,
throw(error(domain_error(builtin_procedure,(G1|G2)), call(G))). throw(error(domain_error(builtin_procedure,(G1|G2)), call(G0))).
'$iso_check_goal'((G1|G2),G0) :- !, '$iso_check_goal'((G1|G2),G0) :- !,
'$iso_check_a_goal'(G1,(G1|G2),G0), '$iso_check_a_goal'(G1,(G1|G2),G0),
'$iso_check_a_goal'(G2,(G1|G2),G0). '$iso_check_a_goal'(G2,(G1|G2),G0).
@ -42,9 +42,15 @@
throw(error(type_error(callable,E),call(G))). throw(error(type_error(callable,E),call(G))).
'$iso_check_a_goal'(_:G,E,G0) :- !, '$iso_check_a_goal'(_:G,E,G0) :- !,
'$iso_check_a_goal'(G,E,G0). '$iso_check_a_goal'(G,E,G0).
'$iso_check_a_goal'((G1,G2),_,_) :- !. '$iso_check_a_goal'((G1,G2),E,G0) :- !,
'$iso_check_a_goal'((G1;G2),_,_) :- !. '$iso_check_a_goal'(G1,E,G0),
'$iso_check_a_goal'((G1->G2),_,_) :- !. '$iso_check_a_goal'(G2,E,G0).
'$iso_check_a_goal'((G1;G2),E,G0) :- !,
'$iso_check_a_goal'(G1,E,G0),
'$iso_check_a_goal'(G2,E,G0).
'$iso_check_a_goal'((G1->G2),E,G0) :- !,
'$iso_check_a_goal'(G1,E,G0),
'$iso_check_a_goal'(G2,E,G0).
'$iso_check_a_goal'(!,_,_) :- !. '$iso_check_a_goal'(!,_,_) :- !.
'$iso_check_a_goal'((_|_),E,G0) :- '$iso_check_a_goal'((_|_),E,G0) :-
'$access_yap_flags'(9,1), !, '$access_yap_flags'(9,1), !,