The colossal war machine [Juggernaut, Is, Victory], now retired from whatever long-lost war it was created to end, will quickly and gladly answer query broadcasts in its vicinity on a broad variety of topics. Robots with persistent storage can use it to gather facts and knowledge.
Some example exchanges with [Juggernaut, Is, Victory]. These exchanges look for a single object that fulfills multiple relationship constraints by using the "Aliases" construct. The answer will appear resolved to the alias in the responses.
Here the Juggernaut identifies a famous comedy duo that broke up in 1956:
Q: [
( aliasing allows us to require the *same* object for
each solution below, rather than allowing each to be
resolved independently )
[X, "Aliased", $X],
[X, "Is", "Comedy Duo"@"Heroes and Champions"],
[X, "Is", "Movie Star"@"Heroes and Champions"],
[X, "Broke Up"@"Good Times", "Year 1956"@"Calendar"]
]
A: [
[X, "Aliased",
"Duke Mitchell and Sammy Petrillo"@"Mid-Century Magic"],
[X, "Is", "Comedy Duo"@"Heroes and Champions"],
[X, "Is", "Movie Star"@"Heroes and Champions"],
[X, "Broke Up"@"Good Times", "Year 1956"@"Calendar"]
]
Here the Juggernaut is answering a question about Ron Howard’s television career:
Q: [
[X, "Aliased", $X],
[X, "Is", "Misc. Television Series"@"Movie Night"],
[X, "Occurred After"@"Basic Relationships", "Year 1974"@"Calendar"],
[
[
"Ron Howard"@"Mid-Century Magic",
"Is", "Actor"@"Movie Night"
],
"Starred In"@"", X
],
]
A: [
[
X,
"Aliased",
"The Fonz and the Happy Days Gang"@"Mid-Century Magic"
],
[X, "Is", "Misc. Television Series"@"Movie Night"],
[X, "Occurred After"@"Basic Relationships", "Year 1974"@"Calendar"],
[
["Ron Howard"@"Mid-Century Magic", Is, "Actor"@"Movie Night"],
"Starred In"@"", X
],
]