- From: Sandro Hawke <sandro@w3.org>
- Date: Mon, 18 Dec 2006 13:27:35 -0500
- To: public-rif-wg@w3.org
Can the problem Gary labeled "recursion" be narrowed to only be talking
about recursive generation of terms? Recursive references between
predicates are not a problem in production rules -- it's just when they
start building larger terms or new terms (ala gensym or math builtins)
that the engine gets in a loop, right? (I'm sure there's a better way
to characterize this kind of rule, but I can't remember a term for it.
I'm just realizing that the label "recursive" cuts off much more of the
space than is necessary.)
-- Sandro
Received on Monday, 18 December 2006 18:28:56 UTC