Added readme and moved examples into a directory.

1 files changed, 194 insertions, 0 deletions

diff --git a/examples/sample_game.nom b/examples/sample_game.nom
new file mode 100644
index 0000000..010e610
--- /dev/null
+++ b/examples/sample_game.nom
@@ -0,0 +1,194 @@
+run file "core.nom"
+lua block ".."
+    |do -- Use a closure to hide this behind the accessor rules
+    |    local relations = setmetatable({}, {__index=function(self,key)
+    |        local t = {}
+    |        self[key] = t
+    |        return t
+    |    end})
+    |    compiler:def("%key %relation ?", function(_,vars)
+    |        return relations[vars.relation][vars.key]
+    |    end)
+    |    compiler:def("%key %relation = %value", function(_,vars)
+    |        relations[vars.relation][vars.key] = vars.value
+    |    end)
+    |    compiler:def("* %relation = %value", function(_,vars)
+    |        local result = {}
+    |        for k,v in pairs(relations[vars.relation]) do
+    |            if utils.equivalent(v, vars.value) then
+    |                table.insert(result, k)
+    |            end
+    |        end
+    |        return result
+    |    end)
+    |end
+
+rule "set all * %relation = %value":
+    for "key" in (* %relation = %value):
+        %key %relation = %value
+
+rule "you":
+    lua expr "(you or 'Anonymous')"
+
+rule ["make %person %action", "make %person do %action"]:
+    lua block [..]
+        "do"
+        "\n    local old_you = you"
+        "\n    you = vars.person"
+        "\n    ret = compiler:call('do %', vars.action)"
+        "\n    you = old_you"
+        "\nend"
+
+say "===================================================="
+say "                    NEW GAME"
+say "===================================================="
+rule "everyone approves %action": yes
+
+rule "with everyone's approval %action":
+    if (everyone approves %action):
+        do %action
+    ..else:
+        say "You do not have the will of the people! >:("
+
+restrict "rule % %" to within "with everyone's approval %"
+restrict "make % %" to within "with everyone's approval %"
+restrict "set all * % = %" to within "with everyone's approval %"
+restrict "% % = %" to within "with everyone's approval %"
+restrict "restrict % to within %" to within "with everyone's approval %"
+
+with everyone's approval:
+    rule "propose %action":
+        if ("pending proposal" "is" ?):
+            say "Sorry, an action is already pending."
+        ..else:
+            say "Proposing..."
+            "pending proposal" "is" = %action
+
+    rule "unpropose":
+        let "pending" = ("pending proposal" "is" ?)
+        set all * %pending = (nil)
+        "pending proposal" "is" = (nil)
+
+
+    rule "mark %who as approving %action":
+        %who %action = "approved"
+
+    rule "mark %who as rejecting %action":
+        %who %action = "rejected"
+
+    rule ["approve", "vote yes", "vote yea"]:
+        let "pending" = ("pending proposal" "is" ?)
+        if (%pending == (nil)):
+            say "Nothing is currently pending!"
+            return
+        mark (you) as approving %pending
+        if (everyone approves %pending):
+            say "The motion passes!"
+            with everyone's approval %pending
+            unpropose
+        ..else:
+            let "approvers" = (number of (* %pending = "approved"))
+            let "num-players" = (number of (players))
+            printf [%approvers, "/", %num-players, " players have approved"]
+
+    rule ["reject", "vote no", "vote nay", "veto", "disapprove"]:
+        let "pending" = ("pending proposal" "is" ?)
+        if (%pending == (nil)):
+            say "Nothing is currently pending!"
+            return
+        mark (you) as rejecting %pending
+        unpropose
+
+    rule ["players", "everyone", "everybody", "all players"]:
+        * "is a player" = (yes)
+
+    rule "join":
+        (you) "is a player" = (yes)
+        printf ["Welcome to the game, ", you,"!"]
+
+    allow "unpropose" to use "set all * % = %"
+    allow ["join", "mark % as approving %", "mark % as rejecting %", "propose %", "unpropose"] to use "% % = %"
+    restrict "unpropose" to within ["approve", "reject"]
+    restrict "mark % as approving %" to within ["propose %", "approve"]
+    restrict "mark % as rejecting %" to within ["propose %", "reject"]
+
+    rule "everyone approves %action":
+        (number of (players)) == (number of (* %action = "approved"))
+
+join
+
+propose:
+    say "fart"
+approve
+
+propose:
+    "democracy" "is possible" = (yes)
+    if ("democracy" "is possible" ?):
+        say "DEMOCRACY WORKS!!!"
+approve
+
+propose:
+    rule "fart":
+        say "poot"
+    say "fart should have been defined"
+approve
+say "doop"
+fart
+
+propose:
+    rule "open election %candidates":
+        if ("candidates" "are" ?):
+            say "An election is already in progress."
+        ..else:
+            "candidates" "are" = %candidates
+
+    rule "close the election":
+        set all * "votes for" = (nil)
+        "candidates" "are" = (nil)
+
+    rule "vote for %candidate":
+        (you) "votes for" = %candidate
+        let "vote-percent" = ((number of (* "votes for" = %candidate)) / (number of (players)))
+        printf ["Vote cast. ",%candidate," now has ",(100 * %vote-percent),"% of the votes."]
+        if (%vote-percent > 0.5):
+            printf ["The winner of the election is:", %candidate]
+            close the election
+
+    allow ["open election %", "close the election", "vote for %"] to use ["% % = %"]
+    allow ["close the election"] to use ["set all * % = %"]
+approve
+
+propose:
+    rule "as bill %action":
+        if ((you) == "Anonymous"):
+            make "bill" do %action
+        ..else:
+            printf ["Who do you think you are, ", you,"?"]
+    allow ["as bill %"] to use ["make % %"]
+approve
+as bill: join
+
+propose:
+    rule "as dave %action":
+        if ((you) == "Anonymous"):
+            make "dave" do %action
+        ..else:
+            printf ["Who do you think you are, ", you,"?"]
+    allow ["as dave %"] to use ["make % %"]
+approve
+as bill: approve
+as dave: join
+
+open election ["tom", "dick", "harry"]
+vote for "dick"
+as bill: vote for "dick"
+
+propose:
+    rule "take a shit": say "shit taken."
+
+approve
+as bill: approve
+as dave: approve
+take a shit
+say "Done."
+