Path: utzoo!utgpu!bnr-vpa!bnr-fos!bnr-di!anv
From: anv@bnr-di.UUCP (Andre Vellino)
Newsgroups: comp.lang.prolog
Subject: Re: Relational Arithmetic in Prolog
Summary: Typographical error in last posting
Keywords: Prolog Arithmetic Intervals Constraints
Message-ID: <153@bnr-di.UUCP>
Date: 2 Feb 89 19:27:04 GMT
References: <152@bnr-di.UUCP>
Organization: DI, Bell-Northern Research, Ottawa, Ont.
Lines: 8


The example I gave in my last posting has an error.  It should
read:

?- range(X,_), 4 is X * X.

I hope the interest generated by this submission was not due to
the novel discovery that the square root of 2 is 2 :-).