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 Tue May 17 2005 - 17:48:11 CDT
