Constraint logic programming paradigm
Most logic programming is highly inefficient due to the needed search
Some domains are more constrained, allowing efficient solutions to some limited but important classes of problems
Xerox paper flow
DONALD + GERALD = ROBERT
Previous slide
Next slide
Back to first slide
View graphic version