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

From: George K <gk56_at_...177...>
Date: Thu, 16 Apr 2009 18:28:17 +1000
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
Received on Thu Apr 16 2009 - 08:28:27 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST