Re: evaluable predicates, general definition

Michael Kifer wrote:
>> ???? I think we simply don't disagree. So, about exactly what are we 
>> arguing here? :-)
>>
>> Axel
> 
> Not sure :-)
> 
> (I was not asking for a definition of builtin predicates. I think I did not.)

ok, but it seems we do agree that the definition of binding patterns 
might ins some form be useful/necessary to make builtins usable, yes?

cheers,
Axel



-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/