Following is a demo of the blocks program.
?- talktome. Currently... the large yellow block is on the table the large red block is on the table the large blue block is on the table the large green block is on the table the small yellow block is on the table the small red block is on the table the small blue block is on the table the small green block is on the table What would you like to do next? | This should cause a parsing error! There was a parsing error, one of the 'words' provided is not in the grammar of this model. What would you like to do next? | put the small red block on the table There was a reference resolution error. You cannot perform this action. What would you like to do next? | exit % Execution Aborted