Operational Semantic

?- P : X > 0.

Solving...

X = X.

P = X1.

Constraints remain on X.

More? y

No more solutions

Example

Previous slide

Next slide

Back to first slide

View graphic version