Hi,
I have a question regarding prolog engine.
If I have a precondition to a method : // X>0
and somewhere in the code the expression : X = X + 1,
and the method has a postcondition: // X>1.
How can I verify the postcondition after inserting to prolog the precondition and the expression?
if I insert as a rule
X>0,X is X+1. Is there a way for prolog to get the answer yes when asking ---? X>1.
Thank you
P.S : example will be nice.
I have a question regarding prolog engine.
If I have a precondition to a method : // X>0
and somewhere in the code the expression : X = X + 1,
and the method has a postcondition: // X>1.
How can I verify the postcondition after inserting to prolog the precondition and the expression?
if I insert as a rule
X>0,X is X+1. Is there a way for prolog to get the answer yes when asking ---? X>1.
Thank you
P.S : example will be nice.