Introduction - If you have any usage issues, please Google them yourself
Describes three kinds of knowledge representation (state space method, problem reduction, predicate logic) and four kinds of search techniques (blind search, heuristic search, with or tree search, game tree search), brief language prolog