|
|
| Line 1: |
Line 1: |
| − | Here’s a sample output, in this case under-specifying some of the variables (for example whether or not Joe and Irving trust each other.
| + | [[Log1]] |
| − | | |
| − | | |
| − | CL-USER 219 > (micro-talespin-demo *story6*)
| |
| − | | |
| − | Once upon a time …
| |
| − | JOE WAS NEAR THE CAVE.
| |
| − | JOE KNEW THAT JOE WAS NEAR THE CAVE.
| |
| − | IRVING WAS NEAR THE OAK-TREE.
| |
| − | IRVING KNEW THAT IRVING WAS NEAR THE OAK-TREE.
| |
| − | JOE KNEW THAT IRVING WAS NEAR THE OAK-TREE.
| |
| − | THE WATER WAS NEAR THE RIVER.
| |
| − | JOE KNEW THAT THE WATER WAS NEAR THE RIVER.
| |
| − | THE HONEY WAS NEAR THE ELM-TREE.
| |
| − | IRVING KNEW THAT THE HONEY WAS NEAR THE ELM-TREE.
| |
| − | THE WORM WAS NEAR THE GROUND.
| |
| − | JOE KNEW THAT THE WORM WAS NEAR THE GROUND.
| |
| − | IRVING KNEW THAT JOE WAS NEAR THE CAVE.
| |
| − | THE FISH WAS NEAR THE RIVER.
| |
| − | IRVING KNEW THAT THE FISH WAS NEAR THE RIVER.
| |
| − | JOE THOUGHT THAT IRVING LIKED JOE.
| |
| − | JOE THOUGHT THAT IRVING DID NOT DOMINATE JOE.
| |
| − | One day,
| |
| − | JOE WAS HUNGRY .
| |
| − | JOE WANTED NOT TO BE HUNGRY .
| |
| − | JOE WANTED TO HAVE THE HONEY.
| |
| − | JOE WANTED TO KNOW WHERE THE HONEY WAS .
| |
| − | JOE WANTED IRVING TO TELL JOE WHERE THE HONEY WAS .
| |
| − | JOE THOUGHT THAT IRVING DECEIVED JOE.
| |
| − | [Y/N]?
| |
| − | >y
| |
| − | | |
| − | JOE WANTED IRVING TO THINK THAT IF IRVING WOULD NOT TELL JOE WHERE THE HONEY WAS THEN JOE WOULD STRIKE IRVING.
| |
| − | JOE WANTED TO BE NEAR IRVING.
| |
| − | JOE WENT TO THE OAK-TREE.
| |
| − | JOE WAS NEAR THE OAK-TREE.
| |
| − | JOE TOLD IRVING THAT IF IRVING WOULD NOT TELL JOE WHERE THE HONEY WAS THEN JOE WOULD STRIKE IRVING.
| |
| − | IRVING THOUGHT THAT JOE DECEIVED IRVING.
| |
| − | [Y/N]?
| |
| − | >y
| |
| − | | |
| − | JOE STRUCK IRVING.
| |
| − | IRVING WAS NOT ALIVE .
| |
| − | JOE THOUGHT THAT IRVING WOULD NOT TELL JOE WHERE THE HONEY WAS .
| |
| − | JOE THOUGHT THAT JOE DID NOT KNOW WHERE THE HONEY WAS .
| |
| − | JOE THOUGHT THAT JOE DID NOT HAVE THE HONEY.
| |
| − | JOE WANTED TO HAVE THE BERRIES.
| |
| − | JOE WANTED TO KNOW WHERE THE BERRIES WERE .
| |
| − | JOE THOUGHT THAT JOE DID NOT KNOW WHERE THE BERRIES WERE .
| |
| − | JOE THOUGHT THAT JOE DID NOT HAVE THE BERRIES.
| |
| − | JOE WANTED TO HAVE THE FISH.
| |
| − | JOE WANTED TO KNOW WHERE THE FISH WAS .
| |
| − | JOE THOUGHT THAT JOE DID NOT KNOW WHERE THE FISH WAS .
| |
| − | JOE THOUGHT THAT JOE DID NOT HAVE THE FISH.
| |
| − | JOE KNEW THAT JOE WAS HUNGRY .
| |
| − | The end.
| |
