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

George K wrote:
> 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")) ));

You are constructing 0.."inf".
To get 0..inf, you need to use EC_atom("inf").

You can also pass a floating-point infinity instead of the atom inf.
Use EC_word(HUGE_VAL) or EC_word(numeric_limits<double>::infinity()).


-- Joachim