Re: deductive databases

From: Chris Menzel <cmenzel_at_remove-this.tamu.edu>
Date: 16 May 2005 19:50:49 GMT
Message-ID: <slrnd8hufl.uu.cmenzel@philebus.tamu.edu>

On Mon, 16 May 2005 09:35:57 -0700, alex goldman <hello_at_spamm.er> said:
> 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.

If by "functor" you mean "function symbol", you seem to be suggesting that validity in first-order logic without function symbols is decidable (it isn't). Am I misreading you?

Chris Menzel Received on Mon May 16 2005 - 14:50:49 CDT