Re: deductive databases
From: VC <boston103_at_hotmail.com>
Date: Tue, 17 May 2005 22:51:16 -0400
Message-ID: <q9udnY3YMKQ1MBffRVn-gw_at_comcast.com>
Date: Tue, 17 May 2005 22:51:16 -0400
Message-ID: <q9udnY3YMKQ1MBffRVn-gw_at_comcast.com>
"alex goldman" <hello_at_spamm.er> wrote in message
news:2833197.QA2ogCgjIP_at_yahoo.com...
> ......"[In first-order logic, the term]
> `function' is better used for predicates that possess certain properties
> (determinism)"
What's that supposed to mean ?
One would hope that by now you'd have an introductory book on logic and
learned :
-- that FOL does not talk about function or 'functors' but rather about
'function symbols', among other things;
-- that FOL can get rid of function symbols and be as expressive as with
them;
-- that FOL without 'function symbols' ain't equivalent to Datalog
.. et cetera...
>
>
Received on Wed May 18 2005 - 04:51:16 CEST