Re: deductive databases

From: VC <boston103_at_hotmail.com>
Date: Mon, 16 May 2005 17:43:24 -0400
Message-ID: <pJCdnbqOIb5rjhTfRVn-jA@comcast.com>

Please see in-line:

"Jan Hidders" <jan.hidders_at_REMOVETHIS.pandora.be> wrote in message news:IO4ie.92778$S43.5526623_at_phobos.telenet-ops.be...
> Mikito Harakiri wrote:
>>
>> For crist sake, what "functor" in logic are you talking about? There is
>> no such index entry in the Mendelson's "Intro to Mathematical Logic"
>> textbook.
>
> Try looking for "function symbol".
>
> -- Jan Hidders

Well, if we are talking about FOL, then a "functor" simply is not in FOL's vocabulary ("function symbol" of course is).

In category theory, functors are mappings between "small" categories.

In computer science, the word functor's been ab/mis-used so much that there is little in common between its uses in different computer languages. Prolog's usage is remarkably funny especially taking into account that the latter operates with relations/predicates, not functions. Received on Mon May 16 2005 - 16:43:24 CDT