From c63a46bf2a2b969014cf2e3e72ced5405629cc98 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Wed, 30 May 2001 17:04:07 +0000
Subject: [PATCH] assorted changes

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@50 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 pl/strict_iso.yap | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/pl/strict_iso.yap b/pl/strict_iso.yap
index 757a6b5b8..54ddadae1 100644
--- a/pl/strict_iso.yap
+++ b/pl/strict_iso.yap
@@ -18,7 +18,7 @@
 '$iso_check_goal'(!,G0) :- !.
 '$iso_check_goal'((G1|G2),G0) :-
 	'$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_a_goal'(G1,(G1|G2),G0),
 	'$iso_check_a_goal'(G2,(G1|G2),G0).
@@ -42,9 +42,15 @@
 	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'((G1,G2),_,_) :- !.
-'$iso_check_a_goal'((G1;G2),_,_) :- !.
-'$iso_check_a_goal'((G1->G2),_,_) :- !.
+'$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'((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'((_|_),E,G0) :-
 	'$access_yap_flags'(9,1), !,