Puzzles such as eight queens puzzle, crosswords, verbal arithmetic, Sudoku, Peg Solitaire. Combinatorial optimization problems such as parsing and the knapsack problem. Logic programming languages such as Icon, Planner and Prolog, which use backtracking internally to generate answers.