Example applications

• Medical patient diagnosis

• Theorem proving

• Solving Rubik’s cube

• Type checking

  • Type inference in ML and Haskell is done in this way

• Database querying

• …

Previous slide

Next slide

Back to first slide

View graphic version