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