PPT Slide
- Semantical Matching of Constraints ?
Matchmaking Process: Simple Example (cont’d)
OutConstraints in GenericSort ? OutConstraints in IntegerSort:
before(x,y,ys) :- ge(x,y);
before(x,y,ys) :- preceeds(x,y);
InConstraints in IntegerSort ? InConstraints in GenericSort:
before(x,y,ys) :- ge(x,y);
before(x,y,ys) :- preceeds(x,y);