Re: deductive databases
Date: Mon, 16 May 2005 01:01:38 -0700
Message-Id: <1414353.xgzfNHsJyF_at_yahoo.com>
VC wrote:
> A 'functor' is just the atom from Line 2 (in the structure definition).
> E.g.
>
> likes(john, mary).
>
> ... is a predicate of 'arity' 2 (two arguments); at the time, it's a
> structure whose functor is 'likes'.
Well, that's one way to understand the grammar and the place of `functor' in it. The way Russel & Norvig define it in Artificial Intelligence the Modern Approach, predicate is not a [kind of a] functor, and a functor is not a [kind of a] predicate. Actually AIMA uses "function" instead of "functor", which you claimed no one ever does.
It's interesting that just yesterday you said that car(cons(X, Y), X) "does not make any sense", and today you know the one and only true way of Prolog. Now, scram, troll. Received on Mon May 16 2005 - 10:01:38 CEST