├── .gitignore
├── README.md
├── anglify.pl
├── fairy.pl
├── fairystory.graphml
├── fairystory.png
├── planner.pl
├── plannerb4refactor.pl
├── project.odp
├── run.pl
├── snail.pl
├── snailgarden.graphml
├── states.graphml
├── states.png
└── talespin.pl


/.gitignore:
--------------------------------------------------------------------------------
1 | *.*~
2 | *~
3 | chatfeedback.txt
4 | 
5 | 
6 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # Talespin
 2 | 
 3 | This is my version of the project for the Introduction to SWI-Prolog class.
 4 | 
 5 | Anne Ogborn
 6 | 
 7 | 
 8 | ## Install 
 9 | 
10 | Just have a recent (tested on 7.7.18) SWI-Prolog install
11 | 
12 | clone this repo
13 | 
14 | ## Run
15 | 
16 |    cd talespin/
17 |    swipl run.pl
18 |    ?- print_story.
19 | 
20 | ## License
21 | 
22 | /*
23 |  * 
24 |  * Copyright 2018, Anne Ogborn
25 | 
26 | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
27 | 
28 | 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
29 | 
30 | 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
31 | 
32 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 | */
34 | 
35 | 
36 | 


--------------------------------------------------------------------------------
/anglify.pl:
--------------------------------------------------------------------------------
  1 | /*
  2 |  *
  3 |  * Copyright 2018, Anne Ogborn
  4 | 
  5 | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
  6 | 
  7 | 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
  8 | 
  9 | 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
 10 | 
 11 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 12 | */
 13 | :- module(anglify, [
 14 |               anglify/2
 15 |           ]).
 16 | /** <module> Anglify the snail stories
 17 |  *
 18 |  */
 19 | anglify(Semantics, English) :-
 20 |     phrase(as_english([genre(snail)], EnglishList, _), Semantics),
 21 |     list_english(EnglishList, English),
 22 |     !. % lame, but ez
 23 | 
 24 | as_english(Ctx, [], Ctx) --> [].
 25 | as_english(Ctx, [English | Rest], CtxOut) -->
 26 |     happening(Ctx, English, Ctx1),
 27 |     as_english(Ctx1, Rest, CtxOut).
 28 | 
 29 | happening(Ctx, E, Ctx1) -->
 30 |     [moveall(_, B), moveall(B, C)],
 31 |     format_desc(Ctx, 'They traveled from ~w and on to ~w.',
 32 |                [friend(B), friend(C)],
 33 |                Ctx1, E).  % remember E is a string
 34 | happening(Ctx, E, Ctx1) -->
 35 |     [moveall(_, B)],
 36 |     format_desc(Ctx, 'They crawled along to ~w.', [place(B)], Ctx1, E).
 37 | happening(Ctx, E, Ctx) -->
 38 |     [E],
 39 |     {string(E)}.
 40 | happening(Ctx, E, Ctx1) -->
 41 |     [blocked_by(Loc, stone)],
 42 |     format_desc(Ctx,
 43 |                 'They found the path to ~w blocked by a big round rock!',
 44 |                 [place(Loc)],
 45 |                Ctx1,
 46 |                E).
 47 | happening(Ctx, E, Ctx1) -->
 48 |     [unblocked(Friend, stone)],
 49 |     format_desc(Ctx,
 50 |       '~w pushed and tugged, and pushed and tugged, and rolled the rock away.',
 51 |                 [friend(Friend)],
 52 |                Ctx1,
 53 |                E).
 54 | happening(Ctx, E, Ctx1) -->
 55 |     [gardener_appears],
 56 |     format_desc(Ctx, '~w', [friend(cratchet)], Ctx1, E).
 57 | happening(Ctx, E, Ctx1) -->
 58 |     [join_party(Friend)],
 59 |     format_desc(Ctx,
 60 |            'Pomatia\'s friend ~w suddenly appeared, and agreed to go along.',
 61 |            [friend(Friend)],
 62 |            Ctx1,
 63 |            E).
 64 | happening(Ctx,
 65 |   "They all had a grand time at the tea party. They drank tea, and ate scones, or leaves, or whatever suited them. Finally it was time to leave.",
 66 |           Ctx) -->
 67 |     [attended_tea_party].
 68 | happening(Ctx,
 69 |    "When everyone arrived at the party, they discovered Froggy crying disconsolately in the middle of a bare patch of ground. \"Mrs. Cratchet\", he sobbed, \"came and pulled up all the mushrooms, including my beautiful Toadstool home!",
 70 |    Ctx) -->
 71 |     [mushrooms_gone].
 72 | happening(Ctx,
 73 |    "A caterpillar was sitting to one side of the patch, looking at a broken hookah. \"Oh dear\", it said, \"This won\'t do at all. It blew a beautiful blue cloud, and the mushrooms reappeared.",
 74 |    Ctx) -->
 75 |     [magic_mushrooms_fix].
 76 | happening(Ctx,
 77 |    "Mrs. Cratchet went back inside to watch her soap opera. The garden residents sighed with relief.", Ctx) -->
 78 |      [gardener_leaves].
 79 | happening(Ctx,
 80 |    "Mrs. Cratchet picked up the rock and threw it at them! The rock wasn\'t in the way any longer!"
 81 |          , Ctx) -->
 82 |      [gardener_threw_stone].
 83 | happening(Ctx,
 84 |    "Pomatia had a particular hard berry they liked to use as a ball. Pomatia decided to take the ball with them."
 85 |          , Ctx) -->
 86 |      [take_ball].
 87 | happening(Ctx,
 88 |    "The friends played with Pomatia\'s ball."
 89 |          , Ctx) -->
 90 |      [play_ball].
 91 | happening(Ctx, "", Ctx) -->
 92 |     [theme(_)].
 93 | happening(Ctx,
 94 |   "One day Pomatia was invited to tea at the mushrooms beyond the pond. Froggy lived there, and always gave such grand tea parties.", Ctx) -->
 95 |     [start_message(_)].
 96 | happening(Ctx, "Pomatia bopped their ball with their head. \"Oh No!\" The ball went Splash! in the pond!", Ctx) -->
 97 |     [lost_ball_in_water].
 98 | happening(Ctx, "The ball drifted to the edge of the pond. Pomatia raced (slowly) to catch it. \"Oh No! The ball will float away!\" But the ball stayed near the edge, and Pomatia was able to grab it.", Ctx) -->
 99 |     [recover_ball_from_water].
100 | 
101 | happening(Ctx, E, Ctx) -->
102 |     [A],
103 |     {atom_string(A, E)}.
104 | 
105 | format_desc(Ctx, Format, Args, CtxOut, String) --> [],
106 |     {
107 |        args_atoms(Ctx, Args, AtomArgs, CtxOut),
108 |        format(string(String), Format, AtomArgs)
109 |     }.
110 | 
111 | args_atoms(Ctx, [], [], Ctx).
112 | args_atoms(Ctx, [place(A) | Tail], [Atom | TailOut], Ctx1) :-
113 |     memberchk(genre(Genre), Ctx),
114 |     Genre:place_desc(A, Short, Long),
115 |     (  memberchk(A, Ctx)
116 |     ->
117 |        Atom = Short,
118 |        args_atoms(Ctx, Tail, TailOut, Ctx1)
119 |     ;
120 |        Atom = Long,
121 |        args_atoms([A | Ctx], Tail, TailOut, Ctx1)
122 |     ).
123 | args_atoms(Ctx, [friend(A) | Tail], [Atom | TailOut], Ctx1) :-
124 |     memberchk(genre(Genre), Ctx),
125 |     Genre:friend_desc(A, Short, Long),
126 |     (  memberchk(A, Ctx)
127 |     ->
128 |        Atom = Short,
129 |        args_atoms(Ctx, Tail, TailOut, Ctx1)
130 |     ;
131 |        Atom = Long,
132 |        args_atoms([A | Ctx], Tail, TailOut, Ctx1)
133 |     ).
134 | 
135 | list_english(List, English) :-
136 |     atomics_to_string(List, '\n', English).
137 | 


--------------------------------------------------------------------------------
/fairy.pl:
--------------------------------------------------------------------------------
 1 | /*
 2 |  *
 3 |  * Copyright 2018, Anne Ogborn
 4 | 
 5 | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
 6 | 
 7 | 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
 8 | 
 9 | 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
10 | 
11 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
12 | */
13 | :- module(fairy, []).
14 | 
15 | :- multifile planner:max_plan_len/2.
16 | 
17 | planner:max_plan_len(fairy, 12).
18 | 
19 | action(bake_pie,
20 |        action{
21 |            pre: [loc(home), has_flour, has_berries],
22 |            negpre: [],
23 |            add: [has_pie],
24 |            remove: [has_flour, has_berries],
25 |            desc: [$0, used, the, flour, and, berries,
26 |                   to, bake, a, delicious, pie]
27 |        }).
28 | action(walk_to_woods,
29 |        action{
30 |            pre: [loc(home)],
31 |            negpre: [wolf],
32 |            add: [loc(woods)],
33 |            remove: [loc(_)],
34 |            desc: [$0, walked, deep, into, the, woods]
35 |        }).
36 | action(walk_to_grannys,
37 |        action{
38 |            pre: [loc(woods)],
39 |            negpre: [wolf],
40 |            add: [loc(grannys)],
41 |            remove: [loc(_)],
42 |            desc: [$0, walked, to, grannys, house]
43 |        }).
44 | action(greet_by_granny,
45 |        action{
46 |            pre: [loc(grannys)],
47 |            negpre: [],
48 |            add: [saw_granny],
49 |            remove: [],
50 |            desc: [$0, saw, her, granny]
51 |        }).
52 | action(leave_grannys,
53 |        action{
54 |            pre: [loc(grannys)],
55 |            negpre: [],
56 |            add: [loc(woods)],
57 |            remove: [loc(_)],
58 |            desc: [$0, walked, into, the, woods, headed, home]
59 |        }).
60 | action(arrive_home,
61 |        action{
62 |            pre: [loc(woods)],
63 |            negpre: [wolf],
64 |            add: [loc(home)],
65 |            remove: [loc(_)],
66 |            desc: [$0, arrived, home]
67 |        }).
68 | 
69 | 


--------------------------------------------------------------------------------
/fairystory.graphml:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2 | <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
  3 |   <!--Created by yEd 3.15.0.2-->
  4 |   <key attr.name="Description" attr.type="string" for="graph" id="d0"/>
  5 |   <key for="port" id="d1" yfiles.type="portgraphics"/>
  6 |   <key for="port" id="d2" yfiles.type="portgeometry"/>
  7 |   <key for="port" id="d3" yfiles.type="portuserdata"/>
  8 |   <key attr.name="url" attr.type="string" for="node" id="d4"/>
  9 |   <key attr.name="description" attr.type="string" for="node" id="d5"/>
 10 |   <key for="node" id="d6" yfiles.type="nodegraphics"/>
 11 |   <key for="graphml" id="d7" yfiles.type="resources"/>
 12 |   <key attr.name="url" attr.type="string" for="edge" id="d8"/>
 13 |   <key attr.name="description" attr.type="string" for="edge" id="d9"/>
 14 |   <key for="edge" id="d10" yfiles.type="edgegraphics"/>
 15 |   <graph edgedefault="directed" id="G">
 16 |     <data key="d0"/>
 17 |     <node id="n0">
 18 |       <data key="d5"/>
 19 |       <data key="d6">
 20 |         <y:ShapeNode>
 21 |           <y:Geometry height="132.0" width="149.0" x="110.0" y="210.0"/>
 22 |           <y:Fill color="#FFCC00" transparent="false"/>
 23 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 24 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="31.94921875" x="58.525390625" y="57.015625">start<y:LabelModel>
 25 |               <y:SmartNodeLabelModel distance="4.0"/>
 26 |             </y:LabelModel>
 27 |             <y:ModelParameter>
 28 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 29 |             </y:ModelParameter>
 30 |           </y:NodeLabel>
 31 |           <y:Shape type="ellipse"/>
 32 |         </y:ShapeNode>
 33 |       </data>
 34 |     </node>
 35 |     <node id="n1">
 36 |       <data key="d5"/>
 37 |       <data key="d6">
 38 |         <y:ShapeNode>
 39 |           <y:Geometry height="178.0" width="199.0" x="410.0" y="173.0"/>
 40 |           <y:Fill color="#FFCC00" transparent="false"/>
 41 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 42 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="42.3671875" x="78.31640625" y="80.015625">woods<y:LabelModel>
 43 |               <y:SmartNodeLabelModel distance="4.0"/>
 44 |             </y:LabelModel>
 45 |             <y:ModelParameter>
 46 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 47 |             </y:ModelParameter>
 48 |           </y:NodeLabel>
 49 |           <y:Shape type="ellipse"/>
 50 |         </y:ShapeNode>
 51 |       </data>
 52 |     </node>
 53 |     <node id="n2">
 54 |       <data key="d5"/>
 55 |       <data key="d6">
 56 |         <y:ShapeNode>
 57 |           <y:Geometry height="161.0" width="186.0" x="793.0" y="253.0"/>
 58 |           <y:Fill color="#FFCC00" transparent="false"/>
 59 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 60 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.083984375" x="64.9580078125" y="71.515625">grannies<y:LabelModel>
 61 |               <y:SmartNodeLabelModel distance="4.0"/>
 62 |             </y:LabelModel>
 63 |             <y:ModelParameter>
 64 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 65 |             </y:ModelParameter>
 66 |           </y:NodeLabel>
 67 |           <y:Shape type="ellipse"/>
 68 |         </y:ShapeNode>
 69 |       </data>
 70 |     </node>
 71 |     <node id="n3">
 72 |       <data key="d5"/>
 73 |       <data key="d6">
 74 |         <y:ShapeNode>
 75 |           <y:Geometry height="105.0" width="103.0" x="228.0" y="487.0"/>
 76 |           <y:Fill color="#FFCC00" transparent="false"/>
 77 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 78 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="49.544921875" x="26.7275390625" y="43.515625">has_pie<y:LabelModel>
 79 |               <y:SmartNodeLabelModel distance="4.0"/>
 80 |             </y:LabelModel>
 81 |             <y:ModelParameter>
 82 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 83 |             </y:ModelParameter>
 84 |           </y:NodeLabel>
 85 |           <y:Shape type="ellipse"/>
 86 |         </y:ShapeNode>
 87 |       </data>
 88 |     </node>
 89 |     <edge id="e0" source="n0" target="n3">
 90 |       <data key="d9"/>
 91 |       <data key="d10">
 92 |         <y:PolyLineEdge>
 93 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
 94 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
 95 |           <y:Arrows source="none" target="standard"/>
 96 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="57.63671875" x="-33.441929791005464" y="66.64462280273438">bake_pie<y:LabelModel>
 97 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
 98 |             </y:LabelModel>
 99 |             <y:ModelParameter>
100 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
101 |             </y:ModelParameter>
102 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
103 |           </y:EdgeLabel>
104 |           <y:BendStyle smoothed="false"/>
105 |         </y:PolyLineEdge>
106 |       </data>
107 |     </edge>
108 |     <edge id="e1" source="n0" target="n1">
109 |       <data key="d9"/>
110 |       <data key="d10">
111 |         <y:PolyLineEdge>
112 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
113 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
114 |           <y:Arrows source="none" target="standard"/>
115 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="93.865234375" x="28.655303955078125" y="17.78735229340316">walk_to_woods<y:LabelModel>
116 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
117 |             </y:LabelModel>
118 |             <y:ModelParameter>
119 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
120 |             </y:ModelParameter>
121 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
122 |           </y:EdgeLabel>
123 |           <y:BendStyle smoothed="false"/>
124 |         </y:PolyLineEdge>
125 |       </data>
126 |     </edge>
127 |     <edge id="e2" source="n1" target="n2">
128 |       <data key="d9"/>
129 |       <data key="d10">
130 |         <y:PolyLineEdge>
131 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
132 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
133 |           <y:Arrows source="none" target="standard"/>
134 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="107.58203125" x="40.37847900390625" y="39.43523701433992">walk_to_grannies<y:LabelModel>
135 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
136 |             </y:LabelModel>
137 |             <y:ModelParameter>
138 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
139 |             </y:ModelParameter>
140 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
141 |           </y:EdgeLabel>
142 |           <y:BendStyle smoothed="false"/>
143 |         </y:PolyLineEdge>
144 |       </data>
145 |     </edge>
146 |     <edge id="e3" source="n2" target="n2">
147 |       <data key="d9"/>
148 |       <data key="d10">
149 |         <y:PolyLineEdge>
150 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
151 |             <y:Point x="886.0" y="162.5"/>
152 |           </y:Path>
153 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
154 |           <y:Arrows source="none" target="standard"/>
155 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="75.63671875" x="-83.80059814453125" y="-95.31680297851562">saw_granny<y:LabelModel>
156 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
157 |             </y:LabelModel>
158 |             <y:ModelParameter>
159 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
160 |             </y:ModelParameter>
161 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
162 |           </y:EdgeLabel>
163 |           <y:BendStyle smoothed="false"/>
164 |         </y:PolyLineEdge>
165 |       </data>
166 |     </edge>
167 |     <edge id="e4" source="n2" target="n1">
168 |       <data key="d9"/>
169 |       <data key="d10">
170 |         <y:PolyLineEdge>
171 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
172 |             <y:Point x="593.0" y="448.0"/>
173 |           </y:Path>
174 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
175 |           <y:Arrows source="none" target="standard"/>
176 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="94.638671875" x="-187.1765549990189" y="13.46037998825011">leave_grannies<y:LabelModel>
177 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
178 |             </y:LabelModel>
179 |             <y:ModelParameter>
180 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
181 |             </y:ModelParameter>
182 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
183 |           </y:EdgeLabel>
184 |           <y:BendStyle smoothed="false"/>
185 |         </y:PolyLineEdge>
186 |       </data>
187 |     </edge>
188 |     <edge id="e5" source="n1" target="n0">
189 |       <data key="d9"/>
190 |       <data key="d10">
191 |         <y:PolyLineEdge>
192 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
193 |             <y:Point x="330.0" y="412.0"/>
194 |             <y:Point x="335.0" y="412.0"/>
195 |           </y:Path>
196 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
197 |           <y:Arrows source="none" target="standard"/>
198 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="79.05859375" x="-138.20546965875906" y="34.37896100501479">arrive_home<y:LabelModel>
199 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
200 |             </y:LabelModel>
201 |             <y:ModelParameter>
202 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
203 |             </y:ModelParameter>
204 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
205 |           </y:EdgeLabel>
206 |           <y:BendStyle smoothed="false"/>
207 |         </y:PolyLineEdge>
208 |       </data>
209 |     </edge>
210 |     <edge id="e6" source="n3" target="n1">
211 |       <data key="d9"/>
212 |       <data key="d10">
213 |         <y:PolyLineEdge>
214 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
215 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
216 |           <y:Arrows source="none" target="standard"/>
217 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="93.865234375" x="56.530090767226625" y="-86.80242022293578">walk_to_woods<y:LabelModel>
218 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
219 |             </y:LabelModel>
220 |             <y:ModelParameter>
221 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
222 |             </y:ModelParameter>
223 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
224 |           </y:EdgeLabel>
225 |           <y:BendStyle smoothed="false"/>
226 |         </y:PolyLineEdge>
227 |       </data>
228 |     </edge>
229 |   </graph>
230 |   <data key="d7">
231 |     <y:Resources/>
232 |   </data>
233 | </graphml>
234 | 


--------------------------------------------------------------------------------
/fairystory.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/SWI-Prolog-Education/talespin-annie/d750de657fdf5657d36e68835115c8d12ac7f2c6/fairystory.png


--------------------------------------------------------------------------------
/planner.pl:
--------------------------------------------------------------------------------
  1 | /*  Part of SWI-Prolog
  2 | 
  3 |     Author:        Anne Ogborn
  4 |     E-mail:        anne@swi-prolog.org
  5 |     WWW:           http://www.swi-prolog.org
  6 |     Copyright (c)  2018, Anne Ogborn
  7 |     All rights reserved.
  8 | 
  9 |     Redistribution and use in source and binary forms, with or without
 10 |     modification, are permitted provided that the following conditions
 11 |     are met:
 12 | 
 13 |     1. Redistributions of source code must retain the above copyright
 14 |        notice, this list of conditions and the following disclaimer.
 15 | 
 16 |     2. Redistributions in binary form must reproduce the above copyright
 17 |        notice, this list of conditions and the following disclaimer in
 18 |        the documentation and/or other materials provided with the
 19 |        distribution.
 20 | 
 21 |     THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 22 |     "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 23 |     LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 24 |     FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 25 |     COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 26 |     INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
 27 |     BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 28 |     LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
 29 |     CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 30 |     LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
 31 |     ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 32 |     POSSIBILITY OF SUCH DAMAGE.
 33 | */
 34 | :- module(planner, [
 35 |               plan/4,
 36 |               apply_action_dict/3
 37 |           ]).
 38 | /** <module> A STRIPS type planner.
 39 |  *
 40 |  * This planner depends on action modules, called 'genres', as sets
 41 |  * of actions. See
 42 |  * the 'fairy.pl' example for format.
 43 |  *
 44 |  *
 45 |  */
 46 | :- license(bsd).
 47 | 
 48 | % ! plan(+InitConditions:list, +Genre:atom, -Plan:list, +Options:list)
 49 | % !         is nondet
 50 | %
 51 | %  Given a set of initial conditions and a Genre, generate different
 52 | %  plans on backtracking
 53 | %
 54 | %  @arg InitConditions is a list of conditions at the start. Goals
 55 | %  should be listed as goal(X), and when all X appear in the conditions,
 56 | %  planning terminates
 57 | %  @arg Genre is an atomic genre, allowing actions to be defined for
 58 | %  different genres.
 59 | %  @arg Plan - a list of action names
 60 | %  @arg Options - the only available options are order(random)
 61 | %  (default), which randomizes at each step, and order(first), which
 62 | %  takes actions in lexical order
 63 | %
 64 | plan(InitConditions, Genre, Plan, Options) :-
 65 |     (   member(order(Order), Options)
 66 |     ;   Order = random
 67 |     ),
 68 |     list_to_ord_set(InitConditions, OrdCond),
 69 |     plan_(Genre,
 70 |           Order,
 71 |           /*Open*/ [OrdCond-[]],
 72 |           /* Closed*/[OrdCond],
 73 |           RPlan),
 74 |     reverse(RPlan, Plan).
 75 | 
 76 | % Genre is the *|module name|* of the actions
 77 | % Order is the argument of the order/1 option
 78 | % Open is a list of nodes to explore, as State-Story pairs
 79 | % Closed is a list of states to never again put on Open
 80 | % RPlan is the plan, with the last action first,
 81 | %
 82 | % if the Open list is exhausted,
 83 | plan_(_, _, [], _, _) :-
 84 |     !,
 85 |     fail.
 86 | %
 87 | % if we've reached a goal state we have a solution.
 88 | plan_(_Genre,
 89 |       _Order,
 90 |       [State-Story |_],
 91 |       _Closed,
 92 |       Story) :-
 93 |     debug(planner(current), '~q ~q', [State, Story]),
 94 |     at_goal(State).
 95 | % if we have a shaggy dog story, discard from Open
 96 | plan_(Genre,
 97 |       Order,
 98 |       [_State-Story | Open],
 99 |       Closed,
100 |       FullStory) :-
101 |     length(Story, Len),
102 |     (   max_plan_len(Genre, MaxLen)
103 |     *-> true
104 |     ;   MaxLen = 18
105 |     ),
106 |     Len > MaxLen,
107 |     plan_(Genre, Order, Open, Closed, FullStory).
108 | % process head of Open
109 | plan_(Genre,
110 |       Order,
111 |       [State-Story | Open],
112 |       Closed,
113 |       FullStory) :-
114 |     ordered_possible_action_states(State, Genre, Order, PossibleActions),
115 |     actions_children(State, Genre, PossibleActions, Children),
116 |     add_unclosed_children_to_open(Story,
117 |                                 Closed,
118 |                                 PossibleActions,
119 |                                 Children,   % list of states
120 |                                 Open,
121 |                                 Open1),
122 |     add_unique(
123 |                                   Closed,
124 |                                   Children,
125 |                                   Closed1),
126 |     plan_(Genre, Order, Open1, [State | Closed1], FullStory).
127 | 
128 | 
129 | %!  ordered_possible_action_states(+State:state, +Genre:atom,
130 | %!          +Order:atom, -Possible:list) is det
131 | %
132 | %   Give a state list and Genre, return the possible actions
133 | %   as a list of action names, sorted in order found if Order=first
134 | %   and in random order if Order=random
135 | %
136 | ordered_possible_action_states(State,
137 |                                Genre,
138 |                                Order,
139 |                                Possible) :-
140 |     possible_actions(State, Genre, RawPossible),
141 |     (   Order = random
142 |     ->  random_permutation(RawPossible, Possible)
143 |     ;   RawPossible = Possible
144 |     ).
145 | 
146 | 
147 | %!  add_unclosed_children_to_open(+Story:listpair, +Closed:list,
148 | %!            +Actions:list, +Children:list, +OpenIn:list,
149 | %!            -OpenOut:list) is det
150 | %
151 | %  True when OpenOut is the new Open list resulting from adding
152 | %  the State-Story pairs in Children to the open list,
153 | %  discarding those already in the closed list.
154 | %
155 | %  @arg Story    the current story so far
156 | %  @arg Closed   list of States we should ignore
157 | %  @arg Actions  list of actions that got the children in Children
158 | %  @arg Children list of States resulting from the current state via
159 | %                the action in the corresponding position of Actions
160 | %  @arg OpenIn list of State-Story pairs not yet processed, to be added
161 | %                to
162 | %  @arg OpenOut the new Open, after adding the Children with the stories
163 | %
164 | %  we have no more children to add
165 | add_unclosed_children_to_open(  _Story,
166 |                                 _Closed,
167 |                                 _, % action
168 |                                 [],    % children
169 |                                 Open,
170 |                                 Open) :-
171 |     !. % green
172 | %  in the closed set
173 | add_unclosed_children_to_open(  Story,
174 |                                 Closed,
175 |                                 [_Action | Actions],
176 |                                 [Child | Children],
177 |                                 Open,
178 |                                 OpenOut) :-
179 |     memberchk(Child, Closed),   % its in the closed set
180 |     !, % green
181 |     add_unclosed_children_to_open(Story,
182 |                                   Closed,
183 |                                   Actions,
184 |                                   Children,
185 |                                   Open,
186 |                                   OpenOut).
187 | % already in the open set
188 | add_unclosed_children_to_open(  Story,
189 |                                 Closed,
190 |                                 [Action | Actions],
191 |                                 [Child | Children],
192 |                                 Open,
193 |                                 OpenOut) :-
194 |     memberchk(Child-_, Open),   % it's already in the open set
195 |     debug(planner(dup_open), '~q', [Child-[Action | Story]]),
196 |     !,  % green
197 |     add_unclosed_children_to_open(Story,
198 |                                     Closed,
199 |                                     Actions,
200 |                                     Children,
201 |                                     Open,
202 |                                     OpenOut).
203 | % main case
204 | add_unclosed_children_to_open(  Story,
205 |                                 Closed,
206 |                                 [Action | Actions],
207 |                                 [Child | Children],
208 |                                 Open,
209 |                                 OpenOut) :-
210 |     append(Open, [Child-[Action | Story]], OpenX),
211 |     !, % green
212 |     add_unclosed_children_to_open(Story,
213 |                                     Closed,
214 |                                     Actions,
215 |                                     Children,
216 |                                     OpenX,
217 |                                     OpenOut).
218 | 
219 | % ! add_unique(+In:list, +New:list,
220 | %!            -Out:list) is det
221 | %
222 | %   prepend those elements of New which are not in
223 | %   the In set. Elements of New are added in reverse order,
224 | %   and second occurances of elements of New are ignored.
225 | %
226 | add_unique(In, [], In) :-
227 |     !. % green
228 | add_unique(In, [NewH| New], Out) :-
229 |     memberchk(NewH, In),
230 |     !, % green
231 |     add_unique(In, New, Out).
232 | add_unique(In, [NewH| New], [NewH | Out]) :-
233 |     add_unique(In, New, Out).
234 | 
235 | %!  at_goal(+State:list) is det
236 | %
237 | %   succeeds if we're at the final goal
238 | %
239 | at_goal(Cond) :-
240 |     check_goals(Cond, Cond),
241 |     !. % green
242 | 
243 | check_goals([], _).
244 | check_goals([goal(Goal)|T], Cond) :-
245 |     memberchk(Goal, Cond),
246 |     check_goals(T, Cond).
247 | check_goals([H|T], Cond) :-
248 |     H \= goal(_),
249 |     check_goals(T, Cond).
250 | 
251 | %!  possible_actions(+Cond:list, +Genre:atom, -Possible) is det
252 | %
253 | %   succeeds when Possible is the list of actions that can be performed
254 | %   from Cond using Genre as the action list.
255 | %
256 | possible_actions(Cond, Genre, Possible) :-
257 |     findall(Name, possible_action(Cond, Genre, Name), Possible).
258 | 
259 | possible_action(Cond, Genre, Name) :-
260 |     Genre:action(Name, Act),
261 |     action{  pre:Pre,
262 |            negpre: NegPre
263 |         } :< Act,
264 |     maplist(is_in(Cond), Pre),
265 |     maplist(not_in(Cond), NegPre).
266 | 
267 | % famulus to swap memberchk's args
268 | is_in(List, Member) :-
269 |     memberchk(Member, List).
270 | 
271 | not_in(List, Member) :-
272 |     \+ memberchk(Member, List).
273 | 
274 | %!  actions_children(+State:list,
275 | %!                    +Genre:list,
276 | %!                    +PossibleActions:list,
277 | %!                    -Children:list) is det
278 | %
279 | %   succeeds when Children is a list of new states resulting
280 | %   from applying the members of PossibleActions to State
281 | %
282 | %   @arg State the current state
283 | %   @arg Genre the module name of the actions
284 | %   @arg PossibleActions a list of atom action names. Assumed possible
285 | %   @arg Children The subsequent states
286 | %
287 | actions_children(State, Genre, PossibleActions, Children) :-
288 |     maplist(apply_action(State, Genre), PossibleActions, Children).
289 | 
290 | apply_action(State, Genre, Name, NewState) :-
291 |     Genre:action(Name, Action),
292 |     apply_action_dict(State, Action, NewState).
293 | 
294 | apply_action_dict(State, Action, NewState) :-
295 |     action{
296 |         add: Add,
297 |         remove: Remove
298 |     } :< Action,
299 |     my_subtract(State, Remove, S1),
300 |     list_to_ord_set(Add, OrdAdd),
301 |     ord_union(S1, OrdAdd, NewState).
302 | 
303 | %!     my_subtract(+A:list, +B:list, -C:list) is det
304 | %
305 | % ord_subtract uses the standard term order, which isn't happy
306 | % when we have a not fully ground term. To avoid it, we build our
307 | % own subtract
308 | %
309 | %  Succeeds when C = A - B as set operation, where A must be ground
310 | %  and B possibly contains partially ground elements which remove
311 | %  all elements of A they unify with
312 | %
313 | my_subtract([], _, []).
314 | my_subtract([H|T], Remove, TOut) :-
315 |     memberchk(H, Remove),
316 |     !,
317 |     my_subtract(T, Remove, TOut).
318 | my_subtract([H|T], Remove, [H|TOut]) :-
319 |     my_subtract(T, Remove, TOut).
320 | 
321 | 
322 | :- multifile planner:max_plan_len/2.
323 | 
324 | max_plan_len(nothing, 18).
325 | 


--------------------------------------------------------------------------------
/plannerb4refactor.pl:
--------------------------------------------------------------------------------
  1 | :- module(planner, [
  2 |               plan/4
  3 |           ]).
  4 | /** <module> A planner.
  5 |  *
  6 |  * Released under the terms of the SWI-Prolog license
  7 |  *
  8 |  * The planner depends on action modules, called 'genres'
  9 |  *
 10 |  *
 11 |  */
 12 | 
 13 | % ! plan(+InitConditions:list, +Genre:atom, -Plan:list, +Options:list)
 14 | % !         is nondet
 15 | %
 16 | %  Given a set of initial conditions and a Genre, generate random plans
 17 | %  on backtracking
 18 | %
 19 | %  @arg InitConditions is a list of conditions at the start. Goals
 20 | %  should be listed as goal(X), and when all X appear in the conditions,
 21 | %  planning terminates
 22 | %  @arg Genre is an atomic genre, allowing actions to be defined for
 23 | %  different genres.
 24 | %  @arg Plan - a list of action names
 25 | %  @arg Options - the only available options are order(random)
 26 | %  (default), which randomizes at each step, and order(first), which
 27 | %  takes actions in lexical order
 28 | %
 29 | plan(InitConditions, Genre, Plan, Options) :-
 30 |     (   member(order(Order), Options)
 31 |     ;   Order = random
 32 |     ),
 33 |     empty_queue,
 34 |     list_to_ord_set(InitConditions, OrdCond),
 35 |     plan_(Genre,
 36 |           Order,
 37 |           /*Open*/ [OrdCond],
 38 |           /* Closed*/[OrdCond],
 39 |           RPlan),
 40 |     reverse(RPlan, Plan).
 41 | 
 42 | % Genre is the module of the actions
 43 | % Order is the argument of the order/1 option
 44 | % Open is a list of nodes to explore, as State-Story pairs
 45 | % Closed is a list of nodes to never again put on Open
 46 | % RPlan is the plan, with the last action first
 47 | %
 48 | % if the Open list is exhausted,
 49 | plan_(_, _, [], _, _) :-
 50 |     !,
 51 |     fail.
 52 | %
 53 | % if we've reached a goal state we have a solution.
 54 | plan_(_Genre,
 55 |       _Order,
 56 |       [State-Story |_],
 57 |       _Closed,
 58 |       Story) :-
 59 |     at_goal(State).
 60 | plan_(Genre,
 61 |       Order,
 62 |       [State-Story | Open],
 63 |       Closed,
 64 |       FullStory) :-
 65 |     ordered_possible_action_states(State-Story, Genre, Order, Possible),
 66 |     add_unique_children_to_open(State-Story, Genre, Possible, Open, Open1),
 67 |     plan_(Genre, Order, Open1, [State | Closed], FullStory).
 68 | 
 69 | 
 70 | 
 71 | plan_(Cond, _Genre, Prev, _, _, _) :-
 72 |     member(Cond, Prev),   % we've been here before
 73 |     !,
 74 |     fail.
 75 | plan_(Cond, Genre, _Prev, _SoFar, _Plan, _Order) :-
 76 |     possible_actions(Cond, Genre, []),  % no move from here
 77 |     !,
 78 |     fail.
 79 | plan_(Cond, _, _, _, _, _) :-
 80 |     member(dead, Cond),   % dead end
 81 |     !,
 82 |     fail.
 83 | plan_(Cond, Genre, Prev, SoFar, Plan, Order) :-
 84 |     add_queue(SoFar, Cond),
 85 |     pop_queue(FirstSoFar, FirstCond),
 86 |     possible_actions(FirstCond, Genre, RawPossible),
 87 |     (   Order = random
 88 |     ->  once(random_permutation(RawPossible, Possible))
 89 |     ;   RawPossible = Possible
 90 |     ),
 91 |     member(Action, Possible),
 92 |     apply_action(Action, FirstCond, Genre, NewCond),
 93 |     debug(planner(action), '~w', [Action]),
 94 |     debug(planner(step), '~w ~w ~w', [FirstCond, Action, NewCond]),
 95 |     plan_(NewCond, Genre, [Cond | Prev], [Action | FirstSoFar], Plan, Order).
 96 | 
 97 | at_goal(Cond) :-
 98 |     check_goals(Cond, Cond),
 99 |     !. % green
100 | 
101 | check_goals(_, []).
102 | check_goals([goal(Goal)|T], Cond) :-
103 |     memberchk(Goal, Cond),
104 |     check_goals(T, Cond).
105 | check_goals([H|T], Cond) :-
106 |     H \= goal(_),
107 |     check_goals(T, Cond).
108 | 
109 | possible_actions(Cond, Genre, Possible) :-
110 |     findall(Name, possible_action(Cond, Genre, Name), Possible).
111 | 
112 | possible_action(Cond, Genre, Name) :-
113 |     Genre:action(Name, Act),
114 |     action{  pre:Pre,
115 |            negpre: NegPre
116 |         } :< Act,
117 |     maplist(is_in(Cond), Pre),
118 |     maplist(not_in(Cond), NegPre).
119 | 
120 | is_in(List, Member) :-
121 |     memberchk(Member, List).
122 | 
123 | not_in(List, Member) :-
124 |     \+ memberchk(Member, List).
125 | 
126 | :- dynamic q/2.   % q(PlanSoFar, CurrentCondition)
127 | 
128 | empty_queue :-
129 |     retractall(q(_,_)).
130 | 
131 | add_queue(PartialPlan, Cond) :-
132 |     assertz(q(PartialPlan, Cond)).
133 | 
134 | pop_queue(PartialPlan, Cond) :-
135 |     once(q(PartialPlan, Cond)),
136 |     retractall(q(PartialPlan, Cond)).
137 | 
138 | apply_action(Name, Cond, Genre, NewCond) :-
139 |     Genre:action(Name, Action),
140 |     action{
141 |         add: Add,
142 |         remove: Remove
143 |     } :< Action,
144 |     my_subtract(Cond, Remove, C1),
145 |     list_to_ord_set(Add, OrdAdd),
146 |     ord_union(C1, OrdAdd, NewCond).
147 | 
148 | 
149 | my_subtract([], _, []).
150 | my_subtract([H|T], Remove, TOut) :-
151 |     memberchk(H, Remove),
152 |     !,
153 |     my_subtract(T, Remove, TOut).
154 | my_subtract([H|T], Remove, [H|TOut]) :-
155 |     my_subtract(T, Remove, TOut).
156 | 
157 | 


--------------------------------------------------------------------------------
/project.odp:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/SWI-Prolog-Education/talespin-annie/d750de657fdf5657d36e68835115c8d12ac7f2c6/project.odp


--------------------------------------------------------------------------------
/run.pl:
--------------------------------------------------------------------------------
 1 | :- module(run, [print_story/0]).
 2 | 
 3 | :-use_module(talespin).
 4 | :-use_module(anglify).
 5 | :-use_module(fairy).
 6 | :-use_module(snail).
 7 | 
 8 | /*
 9 |  *
10 |  * Copyright 2018, Anne Ogborn
11 | 
12 | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
13 | 
14 | 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
15 | 
16 | 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
17 | 
18 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
19 | */
20 | 
21 | 
22 | go(E) :-
23 |     snail:init_conditions(S),
24 |     story(S, snail, [], Story),
25 |     print_term(Story, []),
26 |     anglify(Story, E).
27 | 
28 | print_story :-
29 |     go(E),
30 |     writeln(E).
31 | 


--------------------------------------------------------------------------------
/snail.pl:
--------------------------------------------------------------------------------
  1 | /*
  2 |  *
  3 |  * Copyright 2018, Anne Ogborn
  4 | 
  5 | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
  6 | 
  7 | 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
  8 | 
  9 | 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
 10 | 
 11 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 12 | */
 13 | :- module(snail,
 14 |           /*[action/2,
 15 |                  event/3,
 16 |                  init_conditions/1,
 17 |                  friend_desc/3,
 18 |                  place_desc/3]). */
 19 |     []).
 20 | /** <module> snail stories
 21 |  *
 22 |  * These are parables, with different messages
 23 |  * TBD - haven't made all these
 24 |  *
 25 |  * 1) having fun with your friends is more important than accomplishing
 26 |  * an unimportant goal
 27 |  *
 28 |  * 2) when you hurt someone you have to say you're sorry
 29 |  *
 30 |  * 3) helping your friends
 31 |  *
 32 |  * 4) don't laugh at people because they're different
 33 |  *      someone laughs at someone's difference, and they run away.
 34 |  *      they are told it's wrong, and they hunt down the victim and
 35 |  *      apologize
 36 |  *
 37 |  * 5) being sad is part of life.
 38 |  *      someone is sad, and they meet a friend and the friend is nice to
 39 |  *      them and they feel better.
 40 |  *
 41 |  * 6) it's OK to ask for help
 42 |  *      Snail finds a rock under their tomato
 43 |  *      plant while they're away. Only beetle is able to move the rock.
 44 |  *
 45 |  *
 46 |  */
 47 | :- discontiguous action/2, event/3, add_event/2.
 48 | 
 49 | :- multifile planner:max_plan_len/2.
 50 | 
 51 | planner:max_plan_len(snail, 12).
 52 | 
 53 | init_conditions([not_inited, goal(has_goals)]).
 54 | 
 55 | 		 /*******************************
 56 | 		 * Initialization
 57 | 		 *******************************/
 58 | 
 59 | action(initialize,
 60 |        action{
 61 |            pre: [not_inited],
 62 |            negpre: [stuck],
 63 |            add: [has_goals, theme(Message),
 64 |                  loc(tomato),
 65 |                  loc(tomato, ball),
 66 |                  goal(attended_tea_party),
 67 |                      goal(loc(tomato))],
 68 |            remove: [not_inited],
 69 |            desc: [theme(Message), start_message(['One day ', $0, ' was invited to a tea party put on by froggy amidst the mushrooms.'])]
 70 |        }) :-
 71 |     theme(Message).
 72 | 
 73 | 		 /*******************************
 74 | 		 * Movement
 75 | 		 *******************************/
 76 | 
 77 | action(move(A, B),
 78 |        action{
 79 |            pre: [loc(A)],
 80 |            negpre: [stuck, blocked(B)], % blocked(B) means we know B is blocke
 81 |            add: [loc(B)],
 82 |            remove: [loc(A)],
 83 |            desc: [moveall(A,B)]
 84 |        }) :-
 85 |     uroute(A,B).
 86 | 
 87 | % a random friend joins the party
 88 | event(move(A, B),
 89 |       0.02,
 90 |       action{
 91 |           pre:[],
 92 |           negpre:[party(C)], % event cant happen if C is in party already
 93 |           add: [party(C), loc(B)],
 94 |           remove: [loc(A)],
 95 |           desc: [join_party(C), moveall(A,B)]
 96 |       }) :-
 97 |     can_join_party(C).
 98 | 
 99 | 
100 | 		 /*******************************
101 | 		 * The Rock                     *
102 | 		 *******************************/
103 | 
104 | % a stone blocks the way
105 | % can only happen once
106 | event(move(_,B),
107 |       0.2,
108 |       action{
109 |           pre:[],
110 |           negpre: [blocked(B), has_been_blocked(stone)],
111 |           add: [blocked(B), blocked_by(stone), has_been_blocked(stone)],
112 |           remove: [],
113 |           desc: [blocked_by(B, stone)]
114 |       }).
115 | 
116 | action(remove_by_friend(stone),
117 |        action{
118 |            pre: [loc(A), blocked(B), blocked_by(stone), party(Friend)],
119 |            negpre: [],
120 |            add: [helped(Friend)],
121 |            remove: [blocked(B), blocked_by(stone), had_adventure],
122 |            desc: [unblocked(Friend, stone)]
123 |        }) :-
124 |     uroute(A,B),
125 |     strong(Friend).
126 | action(remove_by_gardner(stone),
127 |        action{
128 |            pre: [loc(A), blocked(B), blocked_by(stone), gardener],
129 |            negpre: [],
130 |            add: [gardener_threw_stone],
131 |            remove: [blocked(B), blocked_by(stone)],
132 |            desc: [gardener_threw_stone]
133 |        }) :-
134 |     uroute(A,B).
135 | 
136 | 		 /*******************************
137 | 		 *   Pomatia's ball             *
138 | 		 *******************************/
139 | 
140 | event(move(tomato,NewLoc),
141 |       0.5,
142 |               action{
143 |                   pre: [loc(tomato), loc(tomato, ball)],
144 |                   negpre: [carried(ball)],
145 |                   add: [loc(NewLoc), carried(ball), goal(has_played)],
146 |                   remove: [loc(tomato), loc(_, ball)],
147 |                   desc: [take_ball, moveall(tomato, NewLoc)]
148 |               }) :-
149 |     uroute(tomato, NewLoc).
150 | 
151 | action(play_ball,
152 |               action{
153 |                   pre: [carried(ball)],
154 |                   negpre: [gardener, has_played],
155 |                   add: [has_played],
156 |                   remove: [],
157 |                   desc: [play_ball]
158 |               }).
159 | 
160 | % lose the ball in the water
161 | % % crummy event because we're unlikely to play with ball near water
162 | event(play_ball,
163 |       1.0,
164 |       action{
165 |           pre:[loc(pond), carried(ball)],
166 |           negpre: [has_lost_ball],
167 |           add: [has_lost_ball, ball_in_water, goal(carried(ball))],
168 |           remove: [carried(ball)],
169 |           desc: [lost_ball_in_water]
170 |       }).
171 | 
172 | 
173 | action(recover_ball,
174 |        action{
175 |            pre: [loc(pond), ball_in_water],
176 |            negpre: [],
177 |            add: [carried(ball)],
178 |            remove: [ball_in_water],
179 |            desc: [recover_ball_from_water]
180 |        }).
181 | 
182 | 		 /*******************************
183 | 		 * Universal Events             *
184 | 		 *******************************/
185 | 
186 | 
187 | % we have events that apply any time and don't interfere with the
188 | % original action.
189 | event(OrigAction,
190 |       Prob,
191 |       action{
192 |           pre: EPre,
193 |           negpre: ENegPre,
194 |           add: TotalAdd,
195 |           remove: TotalRemove,
196 |           desc: TotalDesc
197 |       }) :-
198 |     add_event(Prob,
199 |               action{
200 |                   pre: EPre,
201 |                   negpre: ENegPre,
202 |                   add: EAdd,
203 |                   remove: ERemove,
204 |                   desc: EDesc
205 |               }),
206 |     action(OrigAction, ActionDict),
207 |     append(ActionDict.add, EAdd, TotalAdd),
208 |     append(ActionDict.remove, ERemove, TotalRemove),
209 |     append(ActionDict.desc, EDesc, TotalDesc).
210 | 
211 | 		 /*******************************
212 | 		 * The Gardener
213 | 		 *******************************/
214 | 
215 | % the gardener appears.
216 | add_event(
217 |       0.1,
218 |       action{
219 |           pre: [],
220 |           negpre: [gardener],
221 |           add: [gardener, had_adventure, gardener_has_appeared],
222 |           remove: [],
223 |           desc: [gardener_appears]
224 |       }).
225 | 
226 | % the gardener leaves
227 | add_event(
228 |       0.1,
229 |       action{
230 |           pre: [gardener],
231 |           negpre: [],
232 |           add: [],
233 |           remove: [gardener],
234 |           desc: [gardener_leaves]
235 |       }).
236 | 
237 | 		 /*******************************
238 | 		 * The tea party
239 | 		 *******************************/
240 | 
241 | action(tea_party,
242 |        action{
243 |            pre: [loc(mushrooms)],
244 |            negpre: [],
245 |            add: [attended_tea_party],
246 |            remove: [],
247 |            desc: [attended_tea_party]
248 |        }).
249 | 
250 | event(tea_party,
251 |       0.4,
252 |       action{
253 |           pre:[loc(mushrooms), gardener_has_appeared],
254 |           negpre: [mushrooms_gone, saved_froggy_home],
255 |           add: [mushrooms_gone, goal(saved_froggy_home)],
256 |           remove: [goal(attended_tea_party)],
257 |           desc: [mushrooms_gone]
258 |       }).
259 | 
260 | 		 /*******************************
261 | 		 * Froggy's home                *
262 | 		 *******************************/
263 | 
264 | action(magic_fix,
265 |        action{
266 |            pre: [mushrooms_gone, goal(saved_froggy_home)],
267 |            negpre: [],
268 |            add: [saved_froggy_home],
269 |            remove: [goal(saved_froggy_home), mushrooms_gone],
270 |            desc: [magic_mushrooms_fix]
271 |        }).
272 | 
273 | 
274 | theme(help). % Friends help each other
275 | % theme(friends_before_things).
276 | % theme(friends_before_activities).
277 | % theme(apologizing).
278 | 
279 | 		 /*******************************
280 | 		 *  Routes around the garden    *
281 | 		 *  Places Pomatia and friends  *
282 | 		 *  go in their garden world    *
283 | 		 *******************************/
284 | 
285 | route(tomato, sidewalk).
286 | route(tomato, weed).
287 | route(sidewalk, weed).
288 | route(sidewalk, pond).
289 | route(pond, ants).
290 | route(mushrooms, pond).
291 | 
292 | place_desc(tomato, 'Pomatia\'s cozy tomato plant',
293 |     'Pomatia\'s home, a sturdy tomato plant in a shady part of the garden').
294 | place_desc(sidewalk, 'the garden path',
295 |            'the brick path that wound through the garden').
296 | place_desc(weed, 'the large weed',
297 |       'a large weed that Mrs. Cratchet never seemed to pull').
298 | place_desc(pond, 'the ornamental pond',
299 |      'a nice ornamental pond, with a little fountain, and lily pads that Froggy loved').
300 | place_desc(ants, 'the anthill',
301 |            'a large anthill in a corner of the garden, home to the busy ants').
302 | place_desc(mushrooms, 'the mushrooms',
303 |     'a large group of mushrooms under a willow tree, where Mr. Froggy lived').
304 | 
305 | uroute(A,B) :- route(A,B).
306 | uroute(A,B) :- route(B,A).
307 | 
308 | 		 /*******************************
309 | 		 *        Friends               *
310 | 		 *
311 | 		 *  Pomatia's friends. Pomatia  *
312 | 		 *  froggy, and Mrs. Cratchet   *
313 | 		 *  handled special             *
314 | 		 *******************************/
315 | 
316 | 
317 | % only friends who can join the party
318 | friend(beetle).
319 | friend(grasshopper).
320 | friend(worm).
321 | friend(ladybug).
322 | can_join_party(X) :- member(X, [beetle, grasshopper, worm, ladybug]).
323 | 
324 | friend_desc(beetle, 'Beetle',
325 |             'Beetle, a large and iridescent blue-green beetle').
326 | friend_desc(grasshopper, 'Hopper',
327 |             'Hopper, a rather nervous grasshopper').
328 | friend_desc(worm, 'Wormy',
329 |             'Wormy, a nice chubby, jolly earthworm').
330 | friend_desc(ladybug, 'Miss Priscilla',
331 |             'Miss Priscilla, a very dainty (and quite fashionable) ladybug').
332 | friend_desc(cratchet, 'Mrs. Cratchet came back out to the garden.',
333 |              'Suddenly old Mrs. Cratchet, who owned the garden, appeared! All the creatures were afraid of Ms. Cratchet, who threw stones at them.').
334 | 
335 | strong(beetle).
336 | strong(worm).
337 | 
338 |     % use botanicula for friend can help ideas
339 |     % spiders make ropes, beetles move heavy things
340 |     % grasshoppers jump
341 |     % ladybug has no 'special powers' but is good at emotional work
342 | 
343 | 
344 | % make the child a rock saver - 'but I'm little', 'to us you are big'
345 | % it could rain
346 | % don't forget emotional action is action
347 | % has a tummy ache that turns out to be an egg(??)
348 | % Pomatia loses their ball in the lily pond.
349 | 
350 | % Pomatia could find lose their ball in the pond
351 | 


--------------------------------------------------------------------------------
/snailgarden.graphml:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2 | <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
  3 |   <!--Created by yEd 3.15.0.2-->
  4 |   <key attr.name="Description" attr.type="string" for="graph" id="d0"/>
  5 |   <key for="port" id="d1" yfiles.type="portgraphics"/>
  6 |   <key for="port" id="d2" yfiles.type="portgeometry"/>
  7 |   <key for="port" id="d3" yfiles.type="portuserdata"/>
  8 |   <key attr.name="url" attr.type="string" for="node" id="d4"/>
  9 |   <key attr.name="description" attr.type="string" for="node" id="d5"/>
 10 |   <key for="node" id="d6" yfiles.type="nodegraphics"/>
 11 |   <key for="graphml" id="d7" yfiles.type="resources"/>
 12 |   <key attr.name="url" attr.type="string" for="edge" id="d8"/>
 13 |   <key attr.name="description" attr.type="string" for="edge" id="d9"/>
 14 |   <key for="edge" id="d10" yfiles.type="edgegraphics"/>
 15 |   <graph edgedefault="directed" id="G">
 16 |     <data key="d0"/>
 17 |     <node id="n0">
 18 |       <data key="d5"/>
 19 |       <data key="d6">
 20 |         <y:ShapeNode>
 21 |           <y:Geometry height="110.0" width="113.0" x="176.0" y="184.0"/>
 22 |           <y:Fill color="#FFCC00" transparent="false"/>
 23 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 24 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="31.9375" modelName="custom" textColor="#000000" visible="true" width="89.9921875" x="11.50390625" y="39.03125">Tomato Plant
 25 | (Snail's home)<y:LabelModel>
 26 |               <y:SmartNodeLabelModel distance="4.0"/>
 27 |             </y:LabelModel>
 28 |             <y:ModelParameter>
 29 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 30 |             </y:ModelParameter>
 31 |           </y:NodeLabel>
 32 |           <y:Shape type="ellipse"/>
 33 |         </y:ShapeNode>
 34 |       </data>
 35 |     </node>
 36 |     <node id="n1">
 37 |       <data key="d5"/>
 38 |       <data key="d6">
 39 |         <y:ShapeNode>
 40 |           <y:Geometry height="110.0" width="113.0" x="393.5" y="184.0"/>
 41 |           <y:Fill color="#FFCC00" transparent="false"/>
 42 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 43 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="82.169921875" x="15.4150390625" y="46.015625">The sidewalk<y:LabelModel>
 44 |               <y:SmartNodeLabelModel distance="4.0"/>
 45 |             </y:LabelModel>
 46 |             <y:ModelParameter>
 47 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 48 |             </y:ModelParameter>
 49 |           </y:NodeLabel>
 50 |           <y:Shape type="ellipse"/>
 51 |         </y:ShapeNode>
 52 |       </data>
 53 |     </node>
 54 |     <node id="n2">
 55 |       <data key="d5"/>
 56 |       <data key="d6">
 57 |         <y:ShapeNode>
 58 |           <y:Geometry height="110.0" width="113.0" x="296.5" y="324.0"/>
 59 |           <y:Fill color="#FFCC00" transparent="false"/>
 60 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 61 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="31.9375" modelName="custom" textColor="#000000" visible="true" width="48.701171875" x="32.1494140625" y="39.03125">The big
 62 | weed<y:LabelModel>
 63 |               <y:SmartNodeLabelModel distance="4.0"/>
 64 |             </y:LabelModel>
 65 |             <y:ModelParameter>
 66 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 67 |             </y:ModelParameter>
 68 |           </y:NodeLabel>
 69 |           <y:Shape type="ellipse"/>
 70 |         </y:ShapeNode>
 71 |       </data>
 72 |     </node>
 73 |     <node id="n3">
 74 |       <data key="d5"/>
 75 |       <data key="d6">
 76 |         <y:ShapeNode>
 77 |           <y:Geometry height="110.0" width="113.0" x="471.5" y="7.0"/>
 78 |           <y:Fill color="#FFCC00" transparent="false"/>
 79 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 80 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="31.9375" modelName="custom" textColor="#000000" visible="true" width="113.81640625" x="-0.408203125" y="39.03125">The celery
 81 | (a food snail likes)<y:LabelModel>
 82 |               <y:SmartNodeLabelModel distance="4.0"/>
 83 |             </y:LabelModel>
 84 |             <y:ModelParameter>
 85 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
 86 |             </y:ModelParameter>
 87 |           </y:NodeLabel>
 88 |           <y:Shape type="ellipse"/>
 89 |         </y:ShapeNode>
 90 |       </data>
 91 |     </node>
 92 |     <node id="n4">
 93 |       <data key="d5"/>
 94 |       <data key="d6">
 95 |         <y:ShapeNode>
 96 |           <y:Geometry height="110.0" width="113.0" x="579.5" y="170.0"/>
 97 |           <y:Fill color="#FFCC00" transparent="false"/>
 98 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 99 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="31.9375" modelName="custom" textColor="#000000" visible="true" width="96.8125" x="8.09375" y="39.03125">the ornamental
100 | pond<y:LabelModel>
101 |               <y:SmartNodeLabelModel distance="4.0"/>
102 |             </y:LabelModel>
103 |             <y:ModelParameter>
104 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
105 |             </y:ModelParameter>
106 |           </y:NodeLabel>
107 |           <y:Shape type="ellipse"/>
108 |         </y:ShapeNode>
109 |       </data>
110 |     </node>
111 |     <node id="n5">
112 |       <data key="d5"/>
113 |       <data key="d6">
114 |         <y:ShapeNode>
115 |           <y:Geometry height="110.0" width="113.0" x="608.5" y="339.0"/>
116 |           <y:Fill color="#FFCC00" transparent="false"/>
117 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
118 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="53.423828125" x="29.7880859375" y="46.015625">the ants<y:LabelModel>
119 |               <y:SmartNodeLabelModel distance="4.0"/>
120 |             </y:LabelModel>
121 |             <y:ModelParameter>
122 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
123 |             </y:ModelParameter>
124 |           </y:NodeLabel>
125 |           <y:Shape type="ellipse"/>
126 |         </y:ShapeNode>
127 |       </data>
128 |     </node>
129 |     <node id="n6">
130 |       <data key="d5"/>
131 |       <data key="d6">
132 |         <y:ShapeNode>
133 |           <y:Geometry height="110.0" width="113.0" x="705.5" y="42.0"/>
134 |           <y:Fill color="#FFCC00" transparent="false"/>
135 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
136 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="31.9375" modelName="custom" textColor="#000000" visible="true" width="100.84375" x="6.078125" y="39.03125">The mushrooms
137 | (picnic location)<y:LabelModel>
138 |               <y:SmartNodeLabelModel distance="4.0"/>
139 |             </y:LabelModel>
140 |             <y:ModelParameter>
141 |               <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
142 |             </y:ModelParameter>
143 |           </y:NodeLabel>
144 |           <y:Shape type="ellipse"/>
145 |         </y:ShapeNode>
146 |       </data>
147 |     </node>
148 |     <edge id="e0" source="n0" target="n1">
149 |       <data key="d9"/>
150 |       <data key="d10">
151 |         <y:ArcEdge>
152 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
153 |             <y:Point x="341.25" y="184.625"/>
154 |           </y:Path>
155 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
156 |           <y:Arrows source="none" target="none"/>
157 |           <y:Arc height="54.375" ratio="1.0" type="fixedRatio"/>
158 |         </y:ArcEdge>
159 |       </data>
160 |     </edge>
161 |     <edge id="e1" source="n0" target="n2">
162 |       <data key="d9"/>
163 |       <data key="d10">
164 |         <y:ArcEdge>
165 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
166 |             <y:Point x="327.75" y="278.875"/>
167 |           </y:Path>
168 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
169 |           <y:Arrows source="none" target="none"/>
170 |           <y:Arc height="46.179168701171875" ratio="1.0" type="fixedRatio"/>
171 |         </y:ArcEdge>
172 |       </data>
173 |     </edge>
174 |     <edge id="e2" source="n2" target="n1">
175 |       <data key="d9"/>
176 |       <data key="d10">
177 |         <y:ArcEdge>
178 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
179 |             <y:Point x="366.5" y="284.75"/>
180 |           </y:Path>
181 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
182 |           <y:Arrows source="none" target="none"/>
183 |           <y:Arc height="42.58007049560547" ratio="1.0" type="fixedRatio"/>
184 |         </y:ArcEdge>
185 |       </data>
186 |     </edge>
187 |     <edge id="e3" source="n1" target="n4">
188 |       <data key="d9"/>
189 |       <data key="d10">
190 |         <y:ArcEdge>
191 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
192 |             <y:Point x="539.5" y="185.5"/>
193 |           </y:Path>
194 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
195 |           <y:Arrows source="none" target="none"/>
196 |           <y:Arc height="46.631534576416016" ratio="1.0" type="fixedRatio"/>
197 |         </y:ArcEdge>
198 |       </data>
199 |     </edge>
200 |     <edge id="e4" source="n1" target="n3">
201 |       <data key="d9"/>
202 |       <data key="d10">
203 |         <y:ArcEdge>
204 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
205 |             <y:Point x="444.75" y="131.0"/>
206 |           </y:Path>
207 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
208 |           <y:Arrows source="none" target="none"/>
209 |           <y:Arc height="48.356101989746094" ratio="1.0" type="fixedRatio"/>
210 |         </y:ArcEdge>
211 |       </data>
212 |     </edge>
213 |     <edge id="e5" source="n4" target="n5">
214 |       <data key="d9"/>
215 |       <data key="d10">
216 |         <y:ArcEdge>
217 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
218 |             <y:Point x="692.75" y="302.25"/>
219 |           </y:Path>
220 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
221 |           <y:Arrows source="none" target="none"/>
222 |           <y:Arc height="42.86752700805664" ratio="1.0" type="fixedRatio"/>
223 |         </y:ArcEdge>
224 |       </data>
225 |     </edge>
226 |     <edge id="e6" source="n4" target="n6">
227 |       <data key="d9"/>
228 |       <data key="d10">
229 |         <y:ArcEdge>
230 |           <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
231 |             <y:Point x="667.0" y="129.5"/>
232 |           </y:Path>
233 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
234 |           <y:Arrows source="none" target="none"/>
235 |           <y:Arc height="44.902671813964844" ratio="1.0" type="fixedRatio"/>
236 |         </y:ArcEdge>
237 |       </data>
238 |     </edge>
239 |   </graph>
240 |   <data key="d7">
241 |     <y:Resources/>
242 |   </data>
243 | </graphml>
244 | 


--------------------------------------------------------------------------------
/states.graphml:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2 | <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
  3 |   <!--Created by yEd 3.15.0.2-->
  4 |   <key attr.name="Description" attr.type="string" for="graph" id="d0"/>
  5 |   <key for="port" id="d1" yfiles.type="portgraphics"/>
  6 |   <key for="port" id="d2" yfiles.type="portgeometry"/>
  7 |   <key for="port" id="d3" yfiles.type="portuserdata"/>
  8 |   <key attr.name="url" attr.type="string" for="node" id="d4"/>
  9 |   <key attr.name="description" attr.type="string" for="node" id="d5"/>
 10 |   <key for="node" id="d6" yfiles.type="nodegraphics"/>
 11 |   <key for="graphml" id="d7" yfiles.type="resources"/>
 12 |   <key attr.name="url" attr.type="string" for="edge" id="d8"/>
 13 |   <key attr.name="description" attr.type="string" for="edge" id="d9"/>
 14 |   <key for="edge" id="d10" yfiles.type="edgegraphics"/>
 15 |   <graph edgedefault="directed" id="G">
 16 |     <data key="d0"/>
 17 |     <node id="n0" yfiles.foldertype="group">
 18 |       <data key="d5"/>
 19 |       <data key="d6">
 20 |         <y:TableNode configuration="YED_TABLE_NODE">
 21 |           <y:Geometry height="642.0" width="505.0" x="-4.0" y="-30.0"/>
 22 |           <y:Fill color="#ECF5FF" color2="#0042F440" transparent="false"/>
 23 |           <y:BorderStyle color="#000000" type="line" width="1.0"/>
 24 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="21.4609375" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="174.79345703125" x="165.103271484375" y="4.0">Horizontal Swim Lanes</y:NodeLabel>
 25 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="31.94921875" x="3.0" y="51.025390625">start<y:LabelModel>
 26 |               <y:RowNodeLabelModel offset="3.0"/>
 27 |             </y:LabelModel>
 28 |             <y:ModelParameter>
 29 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_0" inside="true"/>
 30 |             </y:ModelParameter>
 31 |           </y:NodeLabel>
 32 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="130.72265625">layer 1<y:LabelModel>
 33 |               <y:RowNodeLabelModel offset="3.0"/>
 34 |             </y:LabelModel>
 35 |             <y:ModelParameter>
 36 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_1" inside="true"/>
 37 |             </y:ModelParameter>
 38 |           </y:NodeLabel>
 39 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="222.22265625">layer 2<y:LabelModel>
 40 |               <y:RowNodeLabelModel offset="3.0"/>
 41 |             </y:LabelModel>
 42 |             <y:ModelParameter>
 43 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_2" inside="true"/>
 44 |             </y:ModelParameter>
 45 |           </y:NodeLabel>
 46 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="317.22265625">layer 3<y:LabelModel>
 47 |               <y:RowNodeLabelModel offset="3.0"/>
 48 |             </y:LabelModel>
 49 |             <y:ModelParameter>
 50 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_3" inside="true"/>
 51 |             </y:ModelParameter>
 52 |           </y:NodeLabel>
 53 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="413.22265625">layer 4<y:LabelModel>
 54 |               <y:RowNodeLabelModel offset="3.0"/>
 55 |             </y:LabelModel>
 56 |             <y:ModelParameter>
 57 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_4" inside="true"/>
 58 |             </y:ModelParameter>
 59 |           </y:NodeLabel>
 60 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="495.22265625">layer 5<y:LabelModel>
 61 |               <y:RowNodeLabelModel offset="3.0"/>
 62 |             </y:LabelModel>
 63 |             <y:ModelParameter>
 64 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_5" inside="true"/>
 65 |             </y:ModelParameter>
 66 |           </y:NodeLabel>
 67 |           <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" rotationAngle="270.0" textColor="#000000" visible="true" width="45.5546875" x="3.0" y="576.72265625">layer 6<y:LabelModel>
 68 |               <y:RowNodeLabelModel offset="3.0"/>
 69 |             </y:LabelModel>
 70 |             <y:ModelParameter>
 71 |               <y:RowNodeLabelModelParameter horizontalPosition="0.0" id="row_6" inside="true"/>
 72 |             </y:ModelParameter>
 73 |           </y:NodeLabel>
 74 |           <y:StyleProperties>
 75 |             <y:Property class="java.awt.Color" name="yed.table.section.color" value="#7192b2"/>
 76 |             <y:Property class="java.lang.Double" name="yed.table.header.height" value="24.0"/>
 77 |             <y:Property class="java.awt.Color" name="yed.table.lane.color.main" value="#c4d7ed"/>
 78 |             <y:Property class="java.awt.Color" name="yed.table.lane.color.alternating" value="#abc8e2"/>
 79 |             <y:Property class="java.awt.Color" name="yed.table.header.color.alternating" value="#abc8e2"/>
 80 |             <y:Property class="java.lang.String" name="yed.table.lane.style" value="lane.style.rows"/>
 81 |             <y:Property class="java.awt.Color" name="yed.table.header.color.main" value="#c4d7ed"/>
 82 |           </y:StyleProperties>
 83 |           <y:State autoResize="true" closed="false" closedHeight="80.0" closedWidth="100.0"/>
 84 |           <y:Insets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
 85 |           <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
 86 |           <y:Table autoResizeTable="true" defaultColumnWidth="120.0" defaultMinimumColumnWidth="80.0" defaultMinimumRowHeight="50.0" defaultRowHeight="80.0">
 87 |             <y:DefaultColumnInsets bottom="0.0" left="0.0" right="0.0" top="0.0"/>
 88 |             <y:DefaultRowInsets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
 89 |             <y:Insets bottom="0.0" left="0.0" right="0.0" top="30.0"/>
 90 |             <y:Columns>
 91 |               <y:Column id="column_0" minimumWidth="80.0" width="481.0">
 92 |                 <y:Insets bottom="0.0" left="0.0" right="0.0" top="0.0"/>
 93 |               </y:Column>
 94 |             </y:Columns>
 95 |             <y:Rows>
 96 |               <y:Row height="74.0" id="row_0" minimumHeight="50.0">
 97 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
 98 |               </y:Row>
 99 |               <y:Row height="99.0" id="row_1" minimumHeight="50.0">
100 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
101 |               </y:Row>
102 |               <y:Row height="84.0" id="row_2" minimumHeight="50.0">
103 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
104 |               </y:Row>
105 |               <y:Row height="106.0" id="row_3" minimumHeight="50.0">
106 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
107 |               </y:Row>
108 |               <y:Row height="86.0" id="row_4" minimumHeight="50.0">
109 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
110 |               </y:Row>
111 |               <y:Row height="78.0" id="row_5" minimumHeight="50.0">
112 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
113 |               </y:Row>
114 |               <y:Row height="85.0" id="row_6" minimumHeight="50.0">
115 |                 <y:Insets bottom="0.0" left="24.0" right="0.0" top="0.0"/>
116 |               </y:Row>
117 |             </y:Rows>
118 |           </y:Table>
119 |         </y:TableNode>
120 |       </data>
121 |       <graph edgedefault="directed" id="n0:">
122 |         <node id="n0::n0">
123 |           <data key="d5"/>
124 |           <data key="d6">
125 |             <y:ShapeNode>
126 |               <y:Geometry height="66.0" width="92.0" x="203.0" y="0.0"/>
127 |               <y:Fill color="#FFCC00" transparent="false"/>
128 |               <y:BorderStyle color="#000000" type="line" width="4.0"/>
129 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="68.892578125" x="11.5537109375" y="24.015625">Start State<y:LabelModel>
130 |                   <y:SmartNodeLabelModel distance="4.0"/>
131 |                 </y:LabelModel>
132 |                 <y:ModelParameter>
133 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
134 |                 </y:ModelParameter>
135 |               </y:NodeLabel>
136 |               <y:Shape type="ellipse"/>
137 |             </y:ShapeNode>
138 |           </data>
139 |         </node>
140 |         <node id="n0::n1">
141 |           <data key="d5"/>
142 |           <data key="d6">
143 |             <y:ShapeNode>
144 |               <y:Geometry height="66.0" width="92.0" x="119.0" y="182.0"/>
145 |               <y:Fill color="#FFCC00" transparent="false"/>
146 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
147 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="70.52734375" x="10.736328125" y="24.015625">at_grannys<y:LabelModel>
148 |                   <y:SmartNodeLabelModel distance="4.0"/>
149 |                 </y:LabelModel>
150 |                 <y:ModelParameter>
151 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
152 |                 </y:ModelParameter>
153 |               </y:NodeLabel>
154 |               <y:Shape type="ellipse"/>
155 |             </y:ShapeNode>
156 |           </data>
157 |         </node>
158 |         <node id="n0::n2">
159 |           <data key="d5"/>
160 |           <data key="d6">
161 |             <y:ShapeNode>
162 |               <y:Geometry height="66.0" width="92.0" x="386.0" y="278.0"/>
163 |               <y:Fill color="#FFCC00" transparent="false"/>
164 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
165 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="70.52734375" x="10.736328125" y="24.015625">at_grannys<y:LabelModel>
166 |                   <y:SmartNodeLabelModel distance="4.0"/>
167 |                 </y:LabelModel>
168 |                 <y:ModelParameter>
169 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
170 |                 </y:ModelParameter>
171 |               </y:NodeLabel>
172 |               <y:Shape type="ellipse"/>
173 |             </y:ShapeNode>
174 |           </data>
175 |         </node>
176 |         <node id="n0::n3">
177 |           <data key="d5"/>
178 |           <data key="d6">
179 |             <y:ShapeNode>
180 |               <y:Geometry height="66.0" width="92.0" x="20.0" y="460.0"/>
181 |               <y:Fill color="#00FF00" transparent="false"/>
182 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
183 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.078125" x="17.9609375" y="24.015625">at_home<y:LabelModel>
184 |                   <y:SmartNodeLabelModel distance="4.0"/>
185 |                 </y:LabelModel>
186 |                 <y:ModelParameter>
187 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
188 |                 </y:ModelParameter>
189 |               </y:NodeLabel>
190 |               <y:Shape type="ellipse"/>
191 |             </y:ShapeNode>
192 |           </data>
193 |         </node>
194 |         <node id="n0::n4">
195 |           <data key="d5"/>
196 |           <data key="d6">
197 |             <y:ShapeNode>
198 |               <y:Geometry height="66.0" width="92.0" x="287.0" y="546.0"/>
199 |               <y:Fill color="#00FF00" transparent="false"/>
200 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
201 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.078125" x="17.9609375" y="24.015625">at_home<y:LabelModel>
202 |                   <y:SmartNodeLabelModel distance="4.0"/>
203 |                 </y:LabelModel>
204 |                 <y:ModelParameter>
205 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
206 |                 </y:ModelParameter>
207 |               </y:NodeLabel>
208 |               <y:Shape type="ellipse"/>
209 |             </y:ShapeNode>
210 |           </data>
211 |         </node>
212 |         <node id="n0::n5">
213 |           <data key="d5"/>
214 |           <data key="d6">
215 |             <y:ShapeNode>
216 |               <y:Geometry height="66.0" width="92.0" x="142.0" y="374.0"/>
217 |               <y:Fill color="#FFCC00" transparent="false"/>
218 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
219 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.078125" x="17.9609375" y="24.015625">at_home<y:LabelModel>
220 |                   <y:SmartNodeLabelModel distance="4.0"/>
221 |                 </y:LabelModel>
222 |                 <y:ModelParameter>
223 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
224 |                 </y:ModelParameter>
225 |               </y:NodeLabel>
226 |               <y:Shape type="ellipse"/>
227 |             </y:ShapeNode>
228 |           </data>
229 |         </node>
230 |         <node id="n0::n6">
231 |           <data key="d5"/>
232 |           <data key="d6">
233 |             <y:ShapeNode>
234 |               <y:Geometry height="66.0" width="92.0" x="409.0" y="460.0"/>
235 |               <y:Fill color="#FFCC00" transparent="false"/>
236 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
237 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.078125" x="17.9609375" y="24.015625">at_home<y:LabelModel>
238 |                   <y:SmartNodeLabelModel distance="4.0"/>
239 |                 </y:LabelModel>
240 |                 <y:ModelParameter>
241 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
242 |                 </y:ModelParameter>
243 |               </y:NodeLabel>
244 |               <y:Shape type="ellipse"/>
245 |             </y:ShapeNode>
246 |           </data>
247 |         </node>
248 |         <node id="n0::n7">
249 |           <data key="d5"/>
250 |           <data key="d6">
251 |             <y:ShapeNode>
252 |               <y:Geometry height="66.0" width="92.0" x="264.0" y="278.0"/>
253 |               <y:Fill color="#FFCC00" transparent="false"/>
254 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
255 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="56.078125" x="17.9609375" y="24.015625">at_home<y:LabelModel>
256 |                   <y:SmartNodeLabelModel distance="4.0"/>
257 |                 </y:LabelModel>
258 |                 <y:ModelParameter>
259 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
260 |                 </y:ModelParameter>
261 |               </y:NodeLabel>
262 |               <y:Shape type="ellipse"/>
263 |             </y:ShapeNode>
264 |           </data>
265 |         </node>
266 |         <node id="n0::n8">
267 |           <data key="d5"/>
268 |           <data key="d6">
269 |             <y:ShapeNode>
270 |               <y:Geometry height="66.0" width="92.0" x="20.0" y="278.0"/>
271 |               <y:Fill color="#FFCC00" transparent="false"/>
272 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
273 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="89.51171875" x="1.244140625" y="24.015625">happy_granny<y:LabelModel>
274 |                   <y:SmartNodeLabelModel distance="4.0"/>
275 |                 </y:LabelModel>
276 |                 <y:ModelParameter>
277 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
278 |                 </y:ModelParameter>
279 |               </y:NodeLabel>
280 |               <y:Shape type="ellipse"/>
281 |             </y:ShapeNode>
282 |           </data>
283 |         </node>
284 |         <node id="n0::n9">
285 |           <data key="d5"/>
286 |           <data key="d6">
287 |             <y:ShapeNode>
288 |               <y:Geometry height="66.0" width="92.0" x="287.0" y="374.0"/>
289 |               <y:Fill color="#FFCC00" transparent="false"/>
290 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
291 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="89.51171875" x="1.244140625" y="24.015625">happy_granny<y:LabelModel>
292 |                   <y:SmartNodeLabelModel distance="4.0"/>
293 |                 </y:LabelModel>
294 |                 <y:ModelParameter>
295 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
296 |                 </y:ModelParameter>
297 |               </y:NodeLabel>
298 |               <y:Shape type="ellipse"/>
299 |             </y:ShapeNode>
300 |           </data>
301 |         </node>
302 |         <node id="n0::n10">
303 |           <data key="d5"/>
304 |           <data key="d6">
305 |             <y:ShapeNode>
306 |               <y:Geometry height="66.0" width="92.0" x="287.0" y="96.0"/>
307 |               <y:Fill color="#FFCC00" transparent="false"/>
308 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
309 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="49.544921875" x="21.2275390625" y="24.015625">has_pie<y:LabelModel>
310 |                   <y:SmartNodeLabelModel distance="4.0"/>
311 |                 </y:LabelModel>
312 |                 <y:ModelParameter>
313 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
314 |                 </y:ModelParameter>
315 |               </y:NodeLabel>
316 |               <y:Shape type="ellipse"/>
317 |             </y:ShapeNode>
318 |           </data>
319 |         </node>
320 |         <node id="n0::n11">
321 |           <data key="d5"/>
322 |           <data key="d6">
323 |             <y:ShapeNode>
324 |               <y:Geometry height="66.0" width="92.0" x="142.0" y="278.0"/>
325 |               <y:Fill color="#FFCC00" transparent="false"/>
326 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
327 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
328 |                   <y:SmartNodeLabelModel distance="4.0"/>
329 |                 </y:LabelModel>
330 |                 <y:ModelParameter>
331 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
332 |                 </y:ModelParameter>
333 |               </y:NodeLabel>
334 |               <y:Shape type="ellipse"/>
335 |             </y:ShapeNode>
336 |           </data>
337 |         </node>
338 |         <node id="n0::n12">
339 |           <data key="d5"/>
340 |           <data key="d6">
341 |             <y:ShapeNode>
342 |               <y:Geometry height="66.0" width="92.0" x="20.0" y="374.0"/>
343 |               <y:Fill color="#FFCC00" transparent="false"/>
344 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
345 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
346 |                   <y:SmartNodeLabelModel distance="4.0"/>
347 |                 </y:LabelModel>
348 |                 <y:ModelParameter>
349 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
350 |                 </y:ModelParameter>
351 |               </y:NodeLabel>
352 |               <y:Shape type="ellipse"/>
353 |             </y:ShapeNode>
354 |           </data>
355 |         </node>
356 |         <node id="n0::n13">
357 |           <data key="d5"/>
358 |           <data key="d6">
359 |             <y:ShapeNode>
360 |               <y:Geometry height="66.0" width="92.0" x="287.0" y="460.0"/>
361 |               <y:Fill color="#FFCC00" transparent="false"/>
362 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
363 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
364 |                   <y:SmartNodeLabelModel distance="4.0"/>
365 |                 </y:LabelModel>
366 |                 <y:ModelParameter>
367 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
368 |                 </y:ModelParameter>
369 |               </y:NodeLabel>
370 |               <y:Shape type="ellipse"/>
371 |             </y:ShapeNode>
372 |           </data>
373 |         </node>
374 |         <node id="n0::n14">
375 |           <data key="d5"/>
376 |           <data key="d6">
377 |             <y:ShapeNode>
378 |               <y:Geometry height="66.0" width="92.0" x="409.0" y="374.0"/>
379 |               <y:Fill color="#FFCC00" transparent="false"/>
380 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
381 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
382 |                   <y:SmartNodeLabelModel distance="4.0"/>
383 |                 </y:LabelModel>
384 |                 <y:ModelParameter>
385 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
386 |                 </y:ModelParameter>
387 |               </y:NodeLabel>
388 |               <y:Shape type="ellipse"/>
389 |             </y:ShapeNode>
390 |           </data>
391 |         </node>
392 |         <node id="n0::n15">
393 |           <data key="d5"/>
394 |           <data key="d6">
395 |             <y:ShapeNode>
396 |               <y:Geometry height="66.0" width="92.0" x="287.0" y="182.0"/>
397 |               <y:Fill color="#FFCC00" transparent="false"/>
398 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
399 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
400 |                   <y:SmartNodeLabelModel distance="4.0"/>
401 |                 </y:LabelModel>
402 |                 <y:ModelParameter>
403 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
404 |                 </y:ModelParameter>
405 |               </y:NodeLabel>
406 |               <y:Shape type="ellipse"/>
407 |             </y:ShapeNode>
408 |           </data>
409 |         </node>
410 |         <node id="n0::n16">
411 |           <data key="d5"/>
412 |           <data key="d6">
413 |             <y:ShapeNode>
414 |               <y:Geometry height="66.0" width="92.0" x="119.0" y="96.0"/>
415 |               <y:Fill color="#FFCC00" transparent="false"/>
416 |               <y:BorderStyle color="#000000" type="line" width="1.0"/>
417 |               <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" textColor="#000000" visible="true" width="59.306640625" x="16.3466796875" y="24.015625">in_woods<y:LabelModel>
418 |                   <y:SmartNodeLabelModel distance="4.0"/>
419 |                 </y:LabelModel>
420 |                 <y:ModelParameter>
421 |                   <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
422 |                 </y:ModelParameter>
423 |               </y:NodeLabel>
424 |               <y:Shape type="ellipse"/>
425 |             </y:ShapeNode>
426 |           </data>
427 |         </node>
428 |       </graph>
429 |     </node>
430 |     <edge id="n0::e0" source="n0::n0" target="n0::n16">
431 |       <data key="d9"/>
432 |       <data key="d10">
433 |         <y:PolyLineEdge>
434 |           <y:Path sx="-23.0" sy="28.59375" tx="0.0" ty="-33.0">
435 |             <y:Point x="226.0" y="81.0"/>
436 |             <y:Point x="165.0" y="81.0"/>
437 |           </y:Path>
438 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
439 |           <y:Arrows source="none" target="standard"/>
440 |           <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="93.865234375" x="-76.9326171875" y="6.671874999999986">walk_to_woods<y:LabelModel>
441 |               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
442 |             </y:LabelModel>
443 |             <y:ModelParameter>
444 |               <y:SmartEdgeLabelModelParameter angle="0.0" distance="30.0" distanceToCenter="true" position="right" ratio="0.5" segment="0"/>
445 |             </y:ModelParameter>
446 |             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
447 |           </y:EdgeLabel>
448 |           <y:BendStyle smoothed="false"/>
449 |         </y:PolyLineEdge>
450 |       </data>
451 |     </edge>
452 |     <edge id="n0::e1" source="n0::n0" target="n0::n10">
453 |       <data key="d9"/>
454 |       <data key="d10">
455 |         <y:PolyLineEdge>
456 |           <y:Path sx="23.0" sy="28.59375" tx="0.0" ty="-33.0">
457 |             <y:Point x="272.0" y="81.0"/>
458 |             <y:Point x="333.0" y="81.0"/>
459 |           </y:Path>
460 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
461 |           <y:Arrows source="none" target="standard"/>
462 |           <y:BendStyle smoothed="false"/>
463 |         </y:PolyLineEdge>
464 |       </data>
465 |     </edge>
466 |     <edge id="n0::e2" source="n0::n10" target="n0::n15">
467 |       <data key="d9"/>
468 |       <data key="d10">
469 |         <y:PolyLineEdge>
470 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
471 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
472 |           <y:Arrows source="none" target="standard"/>
473 |           <y:BendStyle smoothed="false"/>
474 |         </y:PolyLineEdge>
475 |       </data>
476 |     </edge>
477 |     <edge id="n0::e3" source="n0::n15" target="n0::n7">
478 |       <data key="d9"/>
479 |       <data key="d10">
480 |         <y:PolyLineEdge>
481 |           <y:Path sx="-23.0" sy="28.59375" tx="0.0" ty="-33.0"/>
482 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
483 |           <y:Arrows source="none" target="standard"/>
484 |           <y:BendStyle smoothed="false"/>
485 |         </y:PolyLineEdge>
486 |       </data>
487 |     </edge>
488 |     <edge id="n0::e4" source="n0::n15" target="n0::n2">
489 |       <data key="d9"/>
490 |       <data key="d10">
491 |         <y:PolyLineEdge>
492 |           <y:Path sx="23.0" sy="28.59375" tx="0.0" ty="-33.0">
493 |             <y:Point x="356.0" y="263.0"/>
494 |             <y:Point x="432.0" y="263.0"/>
495 |           </y:Path>
496 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
497 |           <y:Arrows source="none" target="standard"/>
498 |           <y:BendStyle smoothed="false"/>
499 |         </y:PolyLineEdge>
500 |       </data>
501 |     </edge>
502 |     <edge id="n0::e5" source="n0::n2" target="n0::n9">
503 |       <data key="d9"/>
504 |       <data key="d10">
505 |         <y:PolyLineEdge>
506 |           <y:Path sx="-23.0" sy="28.59375" tx="0.0" ty="-33.0">
507 |             <y:Point x="409.0" y="359.0"/>
508 |             <y:Point x="333.0" y="359.0"/>
509 |           </y:Path>
510 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
511 |           <y:Arrows source="none" target="standard"/>
512 |           <y:BendStyle smoothed="false"/>
513 |         </y:PolyLineEdge>
514 |       </data>
515 |     </edge>
516 |     <edge id="n0::e6" source="n0::n2" target="n0::n14">
517 |       <data key="d9"/>
518 |       <data key="d10">
519 |         <y:PolyLineEdge>
520 |           <y:Path sx="23.0" sy="28.59375" tx="0.0" ty="-33.0"/>
521 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
522 |           <y:Arrows source="none" target="standard"/>
523 |           <y:BendStyle smoothed="false"/>
524 |         </y:PolyLineEdge>
525 |       </data>
526 |     </edge>
527 |     <edge id="n0::e7" source="n0::n14" target="n0::n6">
528 |       <data key="d9"/>
529 |       <data key="d10">
530 |         <y:PolyLineEdge>
531 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
532 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
533 |           <y:Arrows source="none" target="standard"/>
534 |           <y:BendStyle smoothed="false"/>
535 |         </y:PolyLineEdge>
536 |       </data>
537 |     </edge>
538 |     <edge id="n0::e8" source="n0::n13" target="n0::n4">
539 |       <data key="d9"/>
540 |       <data key="d10">
541 |         <y:PolyLineEdge>
542 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
543 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
544 |           <y:Arrows source="none" target="standard"/>
545 |           <y:BendStyle smoothed="false"/>
546 |         </y:PolyLineEdge>
547 |       </data>
548 |     </edge>
549 |     <edge id="n0::e9" source="n0::n9" target="n0::n13">
550 |       <data key="d9"/>
551 |       <data key="d10">
552 |         <y:PolyLineEdge>
553 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
554 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
555 |           <y:Arrows source="none" target="standard"/>
556 |           <y:BendStyle smoothed="false"/>
557 |         </y:PolyLineEdge>
558 |       </data>
559 |     </edge>
560 |     <edge id="n0::e10" source="n0::n1" target="n0::n8">
561 |       <data key="d9"/>
562 |       <data key="d10">
563 |         <y:PolyLineEdge>
564 |           <y:Path sx="-23.0" sy="28.59375" tx="0.0" ty="-33.0">
565 |             <y:Point x="142.0" y="263.0"/>
566 |             <y:Point x="66.0" y="263.0"/>
567 |           </y:Path>
568 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
569 |           <y:Arrows source="none" target="standard"/>
570 |           <y:BendStyle smoothed="false"/>
571 |         </y:PolyLineEdge>
572 |       </data>
573 |     </edge>
574 |     <edge id="n0::e11" source="n0::n1" target="n0::n11">
575 |       <data key="d9"/>
576 |       <data key="d10">
577 |         <y:PolyLineEdge>
578 |           <y:Path sx="23.0" sy="28.59375" tx="0.0" ty="-33.0"/>
579 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
580 |           <y:Arrows source="none" target="standard"/>
581 |           <y:BendStyle smoothed="false"/>
582 |         </y:PolyLineEdge>
583 |       </data>
584 |     </edge>
585 |     <edge id="n0::e12" source="n0::n11" target="n0::n5">
586 |       <data key="d9"/>
587 |       <data key="d10">
588 |         <y:PolyLineEdge>
589 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
590 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
591 |           <y:Arrows source="none" target="standard"/>
592 |           <y:BendStyle smoothed="false"/>
593 |         </y:PolyLineEdge>
594 |       </data>
595 |     </edge>
596 |     <edge id="n0::e13" source="n0::n12" target="n0::n3">
597 |       <data key="d9"/>
598 |       <data key="d10">
599 |         <y:PolyLineEdge>
600 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
601 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
602 |           <y:Arrows source="none" target="standard"/>
603 |           <y:BendStyle smoothed="false"/>
604 |         </y:PolyLineEdge>
605 |       </data>
606 |     </edge>
607 |     <edge id="n0::e14" source="n0::n8" target="n0::n12">
608 |       <data key="d9"/>
609 |       <data key="d10">
610 |         <y:PolyLineEdge>
611 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
612 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
613 |           <y:Arrows source="none" target="standard"/>
614 |           <y:BendStyle smoothed="false"/>
615 |         </y:PolyLineEdge>
616 |       </data>
617 |     </edge>
618 |     <edge id="n0::e15" source="n0::n16" target="n0::n1">
619 |       <data key="d9"/>
620 |       <data key="d10">
621 |         <y:PolyLineEdge>
622 |           <y:Path sx="0.0" sy="33.0" tx="0.0" ty="-33.0"/>
623 |           <y:LineStyle color="#000000" type="line" width="1.0"/>
624 |           <y:Arrows source="none" target="standard"/>
625 |           <y:BendStyle smoothed="false"/>
626 |         </y:PolyLineEdge>
627 |       </data>
628 |     </edge>
629 |   </graph>
630 |   <data key="d7">
631 |     <y:Resources/>
632 |   </data>
633 | </graphml>
634 | 


--------------------------------------------------------------------------------
/states.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/SWI-Prolog-Education/talespin-annie/d750de657fdf5657d36e68835115c8d12ac7f2c6/states.png


--------------------------------------------------------------------------------
/talespin.pl:
--------------------------------------------------------------------------------
  1 | /*  Part of SWI-Prolog
  2 | 
  3 |     Author:        Anne Ogborn
  4 |     E-mail:        anne@swi-prolog.org
  5 |     WWW:           http://www.swi-prolog.org
  6 |     Copyright (c)  2018, Anne Ogborn
  7 |     All rights reserved.
  8 | 
  9 |     Redistribution and use in source and binary forms, with or without
 10 |     modification, are permitted provided that the following conditions
 11 |     are met:
 12 | 
 13 |     1. Redistributions of source code must retain the above copyright
 14 |        notice, this list of conditions and the following disclaimer.
 15 | 
 16 |     2. Redistributions in binary form must reproduce the above copyright
 17 |        notice, this list of conditions and the following disclaimer in
 18 |        the documentation and/or other materials provided with the
 19 |        distribution.
 20 | 
 21 |     THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 22 |     "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 23 |     LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 24 |     FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 25 |     COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 26 |     INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
 27 |     BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 28 |     LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
 29 |     CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 30 |     LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
 31 |     ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 32 |     POSSIBILITY OF SUCH DAMAGE.
 33 | */
 34 | :- module(talespin, [
 35 |               story/4
 36 |           ]).
 37 | /** <Module> implements the Tale-Spin story generation algorithm
 38 |  *
 39 |  * 1. Plan
 40 |  * 2. simulate plan moving forward. Randomly pick 'events', then
 41 |  *    have outcome be event's outcome, not action's outcome.
 42 |  * 3. following an event, replan
 43 |  */
 44 | :- use_module(planner).
 45 | 
 46 | %!  story(+Init:list, +Genre:atom, +Options:List, -Story:list) is det
 47 | %
 48 | %   @arg Init  list of initial conditions
 49 | %   @arg Genre module name of the story genre
 50 | %   @arg Options Options list for plan/4
 51 | %   @arg Story bound to a story as a list of semantic occurances
 52 | %
 53 | story(Init, Genre, Options, Story) :-
 54 |     repeat, % because of randomization story_ sometimes fails.
 55 |     story_(Init, Genre, Options, Story),
 56 |     !.
 57 | story_(Init, Genre, Options, Story) :-
 58 |     plan(Init, Genre, Plan, Options),
 59 |     simulate(Init, Genre, Options, Plan, XStory),
 60 |     flatten(XStory, Story).
 61 | 
 62 | simulate(_, _, _, [], []).
 63 | simulate(State, Genre, Options, [Action|Remains], [Desc | RemDesc]) :-
 64 |     (
 65 |         event_happens(State, Action, Genre, Event)
 66 |     ->
 67 |         apply_action_dict(State, Event, NewState),
 68 |         plan(NewState, Genre, NewPlan, Options),
 69 |         Desc = Event.desc,
 70 |         simulate(NewState, Genre, Options, NewPlan, RemDesc)
 71 |     ;
 72 |         Genre:action(Action, Dict),
 73 |         apply_action_dict(State, Dict, NewState),
 74 |         Desc = Dict.desc,
 75 |         simulate(NewState, Genre, Options, Remains, RemDesc)
 76 |     ).
 77 | 
 78 | event_happens(State, Action, Genre, EventDict) :-
 79 |     (   setof(Pair, possible_event(State, Genre, Action, Pair), Possible)
 80 |     ->  true
 81 |     ;   Possible = []
 82 |     ),
 83 |     random_permutation(Possible, RandPossible),
 84 |     maybe_pick_one(RandPossible, EventDict).
 85 | 
 86 | maybe_pick_one([], _) :- !, fail.
 87 | maybe_pick_one([P-H | _], H) :-
 88 |     P > random_float,
 89 |     !.
 90 | maybe_pick_one([_ | T], Out) :-
 91 |     maybe_pick_one(T, Out).
 92 | 
 93 | possible_event(State, Genre, ActionName, Prob-Dict) :-
 94 |     Genre:event(ActionName, Prob, Dict),
 95 |     maplist(is_in(State), Dict.pre),
 96 |     maplist(not_in(State), Dict.negpre).
 97 | 
 98 | % famulus to swap memberchk's args
 99 | is_in(List, Member) :-
100 |     memberchk(Member, List).
101 | 
102 | not_in(List, Member) :-
103 |     \+ memberchk(Member, List).
104 | 
105 | 


--------------------------------------------------------------------------------