| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
 |
 | |||
| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
|
| |||
Home -> Community -> Usenet -> comp.databases.theory -> Re: deductive databases
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 - 15:57:33 CDT
 |
 |