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?

Yes. Binding patterns should be in the spec of those builtins (but not in
the model theory).


	--michael  


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