Re: deductive databases

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 16 May 2005 09:48:51 -0700
Message-ID: <1116262131.669727.306870@g43g2000cwa.googlegroups.com>

alex goldman wrote:
> First-order logic without functors is far less
> expressive. The restricted language is called Datalog. The inference
in
> Datalog is decidable and the inference in First-order logic isn't.

For crist sake, what "functor" in logic are you talking about? There is no such index entry in the Mendelson's "Intro to Mathematical Logic" textbook. Mathworld "functor" entry indicates that it's category theory concept. Received on Mon May 16 2005 - 11:48:51 CDT