Operational Semantic

• no user-defined constants of target p

  NO c : 0 > 1.
  

• no dynamic clauses of target p

  NO ?- P : {x : rational} x * x >= 0.
  

There are a few restrictions in the use of a predicate p defined by a CS:

Previous slide

Next slide

Back to first slide

View graphic version