Re: Functional equivalent

From: Joachim Schimpf <J.Schimpf_at_icparc.ic.ac.uk>
Date: Mon 28 Feb 2000 11:37:10 AM GMT
Message-ID: <38BA5DE6.C82BC380@icparc.ic.ac.uk> 
Edmunds family wrote:
> 
> IF/Prolog 5 has the following function:
>     dif( +Term1, +Term2)

In ECLiPSe this is
Term1 ~= Term2

------------------------------------------------------------------------
 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 Mon Feb 28 11:51:29 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:05 PM GMT GMT