Re: Problems with Propia-Library (Goal infers most, Goal infers fd)

-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse

attached mail follows:

The ECLiPSe banner with the version number and configuration
(unless visible in the script):

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.0.0, Fri Jun 23 01:09 2000



Machine type: UltraSparc


Operating system name and version number: Solaris 2.6


If graphics is involved, X version number, X server type and window
manager:


Your .eclipserc and ECLIPSE... environment variables, if used:   none


A script which causes the bug to appear, enhanced by comments where
necessary (start from the ECLiPSe banner unless the option -e is used):


The problem occurs with using the Propia-Lib Constraints  "Goal infers
most"
and "Goal infers fd" applying it to the following predicate definition:

   t(X,Y):-X::[a,b],Y::[c,d].

[eclipse 5]: [user].
 t(X,Y):-X::[a,b],Y::[c,d].
 user       compiled traceable 116 bytes in 0.00 seconds

yes.
[eclipse 6]: 4.
t(X, Y) infers most.
^C

The call does not terminate (It also does not terminate using Goal
infers fd).
It terminates (with the expected answer) when using ECLiPSe 4.2.2.
Remark: The problem also occurs under Linux.

(I know that this is an example, where generalized
propagation is not very usefull. But predicates like t/2 occur in
processor
description for specifying the instruction set of a processor, from
which
constraints are build based one generalized propagation. So generally
there
exist more than one clause for defining t/2.)

Thanks for your help.

Steven Bashford.