Can ask the program the location of blocks in the world model
- Files:
- block_world_model
- block_lexicon
- block_parser
Solves a simple 3x3 puzzle with arc constraint based on a list of words
- Files:
- crossword_puzzle
Solves a 4x4 KenKen puzzle based on the constraints
- Files:
- ken_ken_puzzle
Decodes a message
- Files:
- Decoder
Assigns colors to a map so no two bordering countries have the same colors
- Files:
- map_color
Discovers which of four friends ordered a Pizza
- Files:
- pizza_puzzle
Various examples of simple concepts in Prolog
- Files:
- math_examples
- list_examples