I wrote:
>
> > +:- pred distance(P1, P2, float) <= point(P1), point(P2).
> > +:- pred distance(in, in, out) is det.
>
> s/pred/mode/ in the 2nd line.
Sorry, I didn't see your revised diff before I sent this.
David
--
David Overton | dmo at cs.mu.oz.au
http://www.cs.mu.oz.au/~dmo/ | david at bjs.com.au