Re: deductive databases

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Wed, 18 May 2005 00:48:11 +0200
Message-ID: <428a74a5$0$64595$e4fe514c_at_news.xs4all.nl>

VC wrote:
> alex goldman wrote:

>>vc wrote:
>>>Just to prevent spreading mis-information:
>>>>>alex goldman wrote:

...
>>Looks like this idiot doesn't even realize the relation between Prolog and >>FOL. How much humiliation can he take? ...

>>>>.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.
>>>
>>>Datalog is decidable precisely because it chucked Prolog's 'functor'.
>>>Prolog is of course undecidable.
>>
>>How does poorly rephrasing something count as prevention of spreading of
>>mis-information (sic) ?

>
> Well, the two web-sites <alex goldman>'s referring to are maintained by
> folks clearly influenced by the Prolog jargon ("computational logic" and
> "AI").
>
> No standard mathematical logic handbook uses the word 'functor' as meaning a
> 'function symbol' for a very good reason.
>
> In order to cure yourself from Internet "education" ill effects, you might
> consider a trip to the nearest library and borrowing for example this book:
>
> HB Enderton: A Mathematical Introduction to Logic, Academic Press, 1972

Thank you for staying polite. Received on Wed May 18 2005 - 00:48:11 CEST