Re: [RIF] Reaction to the proposal by Boley, Kifer et al

Peter F. Patel-Schneider wrote:
>> http://logic.stanford.edu/~thinrich/herbrand/html/index.html
>>     

> Now that that is cleared up ...
>
> From that page:
>
> 	With functions, entailment is not semi-decidable and satisfiability
> 	is not semi-decidable.
>
> I wonder, then, what is the relationship between this logic and standard
> FOL.
>
> peter
>
>   
FRom thatr page as well:

Without functions, entailment is decidable.

This is the case of logic programming, and, as I understand, considered
by Michael. "Function symbols"  are not "functions".

Francois

Received on Thursday, 4 May 2006 07:16:38 UTC