Puzzle solvers and other utilities developed with Prolog.
-
Updated
Jun 16, 2016 - Prolog
Puzzle solvers and other utilities developed with Prolog.
Used propositionalization, boolean satisfiability, and goal decomposition to solve the block world planning problem in a layer by layer approach. The structure files - block.py and state.py were partially provided by our Professor as well as the entire ASCII art file scene.py
Add a description, image, and links to the boolean-satisfability topic page so that developers can more easily learn about it.
To associate your repository with the boolean-satisfability topic, visit your repo's landing page and select "manage topics."