Re: deductive databases
Date: Mon, 16 May 2005 17:43:24 -0400
Message-ID: <pJCdnbqOIb5rjhTfRVn-jA_at_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 - 23:43:24 CEST