bug: Typol skip button

[td@almeria.inria.fr (Thierry Despeyroux)]

Sometimes clicking on the skip button just causes the interpretation to 
proceed to termination (and do not returns to the current rule saying 
whether it's proven or not as expected). This happens only when using the
Typol debugger if a "recovery" rule is used.

Following is a patch to cure this problem if you need it.
Create a file, say patch.pl with the following piece of code in it, then
load it before running your Typol program typing
 (prolog)
 [-'patch.pl'].
 ^D
in the lisp window. You must reload this code also if you "restore" the 
prolog system.

%begin of patch

$warn_not(P) :-
	$symbol(debug_hide, S),
	lispcall(0,0,S,_),
	pusharg(3,'Try'),
	$symbol('d-p-s',DPS),
	lispcall(3,1,DPS,_),
	not ($get_sleeping_goals(A), P, 
	     $get_sleeping_goals(B), $warn_delay(A, B, negation)),!,
	pusharg(3,'Proved'),
	lispcall(3,1,DPS,_).

$warn_not(P) :-
	$symbol('d-p-s',DPS),
	pusharg(3,'Fail'),
	lispcall(3,1,DPS,_),
	fail.

%end

Thanks to Kiew Puan Lee for discovering the bug and trying the patch.

Thierry

-- 
Send contributions and compliments to centaur@sophia.inria.fr. Registration
and administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+