Re: CLP(FD): what is necessary?


Hi!

Well, you have my support :). I'd actually suggest adding a prolog
flag to disable evaluation of generic terms outside eval.

Best

Vitor

On Mar 14, 8:31 am, Jan Wielemaker <j...@xxxxxxxxxxxxxxxxxxx> wrote:
On 2008-03-14, Bart Demoen <b...@xxxxxxxxxxxxxxxxx> wrote:

Joachim Schimpf wrote:

You can do it simply with a function, in ECLiPSe called eval/1
(implemented by predicate eval/2):

?- X = 1+2, Y is eval(X)*3.

This is type-clean and makes the intention clear.

I like that.

Nice indeed. If there is sufficient support, I'm happy to add eval(X) as
a function. Of course without dropping the normal evaluation.

--- Jan
.

Relevant Pages

  • Re: ANTLR Grammar Question
    ... some multiple character end-marker. ... since they support intersection. ... predicate and ANTLR may not support ... It means any string but $end and not any ...
    (comp.compilers)
  • Re: Elementtree 1.3 and xpath
    ... predicate to function. ... The engine also provides limited ... support for the ".." ... The next alpha will be out in February, and will do the right thing with your example: ...
    (comp.lang.python)