TEACHER: The name of the puzzle is jigsawdoku-sudoku.
Please setup the puzzle.
TEACHER: Load init-jigsawdoku.
Ok.
TEACHER: Ok.
Please describe the actions, goals, and failure conditions.
TEACHER: The name of the action is write-1-to-4.
What are the conditions of the action.
TEACHER: You can write a number that is between one and four onto an empty location.
Please describe the meaning of 'empty' in this context.
TEACHER: If the value of a location is absent then the location is empty.
Ok, I've learned the meaning of 'empty' for this context.
I've learned the action.
TEACHER: The solution has four steps.
Ok.
TEACHER: Load fail-jigsawdoku.
Ok.
TEACHER: The name of a failure is same-row-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the row of a location is the row of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: The name of a failure is same-col-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the column of a location is the column of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: The name of a failure is same-section-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the section of a location is the section of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: Load final-jigsawdoku.
Ok.
TEACHER: The name of the goal is all-filled.
Please setup the goal state.
TEACHER: Ok.
Please describe the goal.
TEACHER: The goal is that all locations are filled.
Please describe the meaning of 'filled' in this context.
TEACHER: If the value of a location is more than zero then the location is filled.
Ok, I've learned the meaning of 'filled' for this context.
I've learned the goal.
TEACHER: Done.
I've learned jigsawdoku-sudoku. Should I try to solve the puzzle?
TEACHER: No.
Ok.