Re: deductive databases
From: vc <boston103_at_hotmail.com>
Date: 16 May 2005 13:57:33 -0700
Message-ID: <1116277053.955588.183340_at_g43g2000cwa.googlegroups.com>
Date: 16 May 2005 13:57:33 -0700
Message-ID: <1116277053.955588.183340_at_g43g2000cwa.googlegroups.com>
Just to prevent spreading mis-information:
> > alex goldman wrote:
[...skipped ...]
>. First-order logic without functors is far less
> expressive.
There is no FOL with 'functors'
>The restricted language is called Datalog. The inference in
> Datalog is decidable and the inference in First-order logic isn't.
Datalog is decidable precisely because it chucked Prolog's 'functor'. Prolog is of course undecidable. Received on Mon May 16 2005 - 22:57:33 CEST