Propia bug

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Thu 27 Jul 2000 09:57:23 AM GMT
Message-ID: <39800783.E077B0C1@icparc.ic.ac.uk> 
[eclipse 1]: use_module(propia), lib(fd).

yes.
[eclipse 2]: [user].
 p(a,1). p(b,2). p(c,3).
 p1(X-Y) :- p(X,Y).

yes.
[eclipse 4]: p1(X-Y) infers most, labeling([X,Y]).       % ok

X = a
Y = 1     More? (;) 

X = b
Y = 2     More? (;) 

X = c
Y = 3
yes.
[eclipse 5]: p1(Z) infers most, Z=X-Y, labeling([X,Y]).   % wrong

Z = a-1
X = a
Y = 1     More? (;) 

Z = a-2
X = a
Y = 2     More? (;) 

Z = a-3
X = a
Y = 3     More? (;) 

Z = b-1
X = b
Y = 1     More? (;) 

etc...


-- 
 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
Received on Thu Jul 27 10:57:25 2000

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