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_at_philebus.tamu.edu>
Date: 16 May 2005 19:50:49 GMT
Message-ID: <slrnd8hufl.uu.cmenzel_at_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 - 21:50:49 CEST