Skip to content

Instantly share code, notes, and snippets.

@koo5

koo5/r

Created May 8, 2015 17:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save koo5/456ff059dd4755f4f556 to your computer and use it in GitHub Desktop.
Save koo5/456ff059dd4755f4f556 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
s
[
{
"step": 0,
"frame": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
}
},
"NO BEES yet PLZ!",
{
"looking for case": "http://tauchain.org/a"
},
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
{
"Check rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"Equal!",
"Equal!",
"Done euler loop",
"done rule checks, looping",
{
"step": 1,
"frame": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [],
"ind": 0
}
},
"NO BEES yet PLZ!",
{
"looking for case": "http://tauchain.org/a"
},
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"Equal!",
"Equal!",
{
"ep.src": 0,
"c.src": 4
},
" ~~ ~~ ~~",
"Done euler loop",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"Equal!",
"Equal!",
{
"ep.src": 0,
"c.src": 4
},
" ~~ ~~ ~~",
"Done euler loop",
{
"Check rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
"done rule checks, looping",
{
"step": 2,
"frame": {
"parent": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [],
"ind": 0
},
"env": {},
"rule": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 3,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 0
}
},
"Match(free var)!",
"Equal!",
"Equal!",
{
"step": 3,
"frame": {
"parent": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [],
"ind": 0
},
"env": {},
"rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 1,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 0
}
},
"Match(free var)!",
"Equal!",
"Equal!",
{
"step": 4,
"frame": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {
"?x": {
"pred": ":Y"
}
},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 1
}
},
"NO BEES yet PLZ!",
{
"looking for case": "http://tauchain.org/a"
},
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Equal!",
"No match",
"No loop here",
{
"Check rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
"done rule checks, looping",
{
"step": 5,
"frame": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {
"?x": {
"pred": ":X"
}
},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 1
}
},
"NO BEES yet PLZ!",
{
"looking for case": "http://tauchain.org/a"
},
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Equal!",
"No match",
"No loop here",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Equal!",
"Equal!",
"Equal!",
{
"ep.src": 0,
"c.src": 4
},
" ~~ ~~ ~~",
"Done euler loop",
{
"Check rule": {
"body": [],
"head": {
"args": [
{
"pred": ":Y"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"No match",
"No loop here",
{
"Check rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
},
"Match(free var)!",
"No match",
"No loop here",
"done rule checks, looping",
{
"step": 6,
"frame": {
"parent": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {
"?x": {
"pred": ":X"
}
},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 1
},
"env": {},
"rule": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 2,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 0
}
},
"Equal!",
"Equal!",
"Equal!",
{
"step": 7,
"frame": {
"parent": {
"env": {},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [],
"ind": 0
},
"env": {
"?x": {
"pred": ":X"
}
},
"rule": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
},
"src": 4,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 2
}
},
"Match(free var)!",
"Equal!",
"Equal!",
{
"step": 8,
"frame": {
"env": {
"?z": {
"pred": ":X"
}
},
"rule": {
"body": [
{
"args": [
{
"pred": "?z"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"pred": ""
}
},
"src": 0,
"ground": [
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
}
}
},
{
"env": {},
"src": {
"body": [],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
}
},
{
"env": {
"?x": {
"pred": ":X"
}
},
"src": {
"body": [
{
"args": [
{
"pred": "?x"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
}
],
"head": {
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
}
],
"ind": 1
}
},
"no parent!",
{
"evidence": {
"http://tauchain.org/a": [
{
"body": [
{
"args": [
{
"args": [
{
"pred": ":X"
},
{
"pred": ":a"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": ":X"
},
{
"pred": ":b"
}
],
"pred": "http://tauchain.org/a"
},
{
"args": [
{
"pred": "?x"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
],
"pred": "GND"
}
],
"head": {
"args": [
{
"pred": ":X"
},
{
"pred": ":c"
}
],
"pred": "http://tauchain.org/a"
}
}
]
}
},
"end."
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment