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

From: Joachim Schimpf <joachim.schimpf_at_infotech.monash.edu.au>
Date: Thu, 16 Apr 2009 21:13:12 +1000
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
Received on Thu Apr 16 2009 - 11:13:31 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET