Next week: CLP(R)

• Arithmetic only works forward in Prolog

  • But we know arithmetic works both directions

• By adding knowledge of a domain to Prolog-like languages, we can solve lots of richer problems, and solve them faster

Previous slide

Back to first slide

View graphic version