suspensions sometimes not unifying (Bug 0891)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Tue 06 Feb 2001 01:48:07 PM GMT
Message-Id: <E14Q8TX-000446-00@tempest.icparc.ic.ac.uk> 
On 5.1:

[eclipse 4]: make_suspension(true,3,S), S = S.

S = 'SUSP-_218-susp'

Delayed goals:
        true
yes.

[eclipse 5]:  make_suspension(true,3,S), S == S.

S = 'SUSP-_218-susp'

Delayed goals:
        true
yes.

and


[eclipse 7]: make_suspension(true,3,S), suspensions([S1]).

S = 'SUSP-_224-susp'
S1 = 'SUSP-_224-susp'

Delayed goals:
        true
yes.

BUT!!!

[eclipse 6]: make_suspension(true,3,S), suspensions([S]).

no (more) solution.
Received on Tue Feb 06 13:48:07 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:03 PM GMT GMT