[eclipse-clp-users] Variable Bound Symbols in Embedded

Hi All,

I'm trying to declare an "inf" variable bound in embedded (which is
accepted in non-embedded).  This produces an error asking for a
numeric value to be used in the term.  Is there any way to declare
"inf" (or other) as a variable bound in embedded?

---
post_goal(term( EC_functor("::",2),DigitList, term(
EC_functor("..",2), 0, EC_word("inf")) ));
---

Thanks,
George