[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: NPR, Godel, Semantic Web
- From: John Cowan <email@example.com>
- To: Richard Tobin <firstname.lastname@example.org>
- Date: Tue, 08 May 2001 13:34:52 -0400
Richard Tobin wrote:
> Try descendant(cain,adam), then swap around descendant so that it is
> descendant(N,N2) :- descendant(N3,N2), parent(N,N3).
> and try again. It will recurse ad infinitum. Prolog just does a
> depth-first search.
Right enough: the stack blows up. Funny it can't notice that case
(not in general, of course, just in static cases) and rearrange
There is / one art || John Cowan <email@example.com>
no more / no less || http://www.reutershealth.com
to do / all things || http://www.ccil.org/~cowan
with art- / lessness \\ -- Piet Hein