[mercury-users] infinite recursion

[Ralph Becket]

> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> 
> > No: translating the above clause into FOL we have a <= a, and
> > (a <= a)  <=>  (~a \/ a)  <=>  true
> 
> OK so far...  You forgot to take the completion
> (it should be `a <=> a' rather than `a <= a'),
> but it doesn't make any difference to the end result,
> which is still just the vacuous statement `true'.

Sure; I was illustrating the partial case for the given
clause.

> > So a/0 should be det and true.
> No, that's not correct.  

I knew this was false as soon as I hit the send button, but
got dragged off to a meeting before I could send a correction :)

Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------