Re: Ann: delay pack

On 12/08/2013, at 2:27 PM, Richard A. O'Keefe wrote:
> 
> However expressed, the information belongs with the
> *definition* of a predicate, not with its uses.

Let me clarify.  Some existing Prolog (was it Eclipse?) had
the idea of offering two "built-in" modules: one with traditional
semantics and one where all the built-ins had appropriate
delay information, so instead of
	delay(succ(A, B))
you'd do something like
	delay:succ(A, B).

Then a tool should take your module, with when/delay declarations,
weave the code with those declarations and give you a new module
where you just call the predicates and the delaying is taken care of.

If there can be delay(...) wrappers in your code,
then there can be missing delay(...) wrappers.