Re: CLP(FD): what is necessary?

On Fri, 14 Mar 2008 14:19:18 +0000, Joachim Schimpf wrote:


Delay clauses are meta level annotations that
don't affect the declarative meaning of the program (you can remove
them without changing the meaning of your prgram).

You earlier gave the example:

delay p(X) if var(X).
p(X) :- writeln(just_instantiated(X)).

I can certainly not remove the delay declaration without changing the
procedural meaning of the program.

Now for ARs, it is probably true one can't just change the => into :-
in every Action Rule and get a program that is declaratively the same.

But that seems more a feature of the choice of syntax than of the
principle, no ?

Cheers

Bart Demoen

.

Relevant Pages

  • Re: A DECLARATION OF MEANING
    ... > is just a declaration of meaning and not a thesis. ... If we define fitness as being that which is maximised by the action of ... Note that John Edser wrote: ...
    (sci.bio.evolution)
  • Re: A DECLARATION OF MEANING
    ... >> of meaning for all ongoing discussion. ... >> within this declaration I will explicitly acknowledge ... >> A) What is the purpose ... This form is not a debate. ...
    (sci.bio.evolution)
  • Re: "static" question
    ... > I would like to know what is the meaning of: ... That depends on the context of the declaration. ... lifetime; for a class it is a single variable instead of a member variable in ...
    (comp.lang.cpp)
  • Re: printf() with too many args -- legal?
    ... >Kenny McCormack wrote: ... Meaning that you don't know what it does ... calling of foo() with more parameters than it was declared with. ... The declaration and use of bar was clearly outside ...
    (comp.lang.c)
  • Re: CLP(FD): what is necessary?
    ... don't affect the declarative meaning of the program (you can remove ... them without changing the meaning of your prgram). ... procedural meaning of the program. ...
    (comp.lang.prolog)