Support Simple Argument Description Notation expressions in REPL

[siwells]

Simple Argument Description Notation (SADN)

• Statements are identifiers, e.g. 1,2,3, UUIDS, or Double-quoted Strings
• One expression per line
• Each expression comprises a head and a body separated by a colon, e.g. HEAD : BODY
• The heads comprises a single ID, e.g. Unique, monontonically incrementing integer
• An expression body consists of:
  1. a quoted string (atom)
  2. a comma separated list of IDs followed by a relation followed by a single ID, e.g. > = attacks or } = supports
  3. A single ID followed by a relation followed by a comma separated list of IDs, e.g.< = attacked by or { = supported by
  4. Reverse oriented expressions, a la Prolog can be used. In these the conclusion is given first and an inverse operator, e.g. < = attacked by or { = supported by, can be used, followed by the comma separated list of IDs
  5. The "<> = conflicts with" relator can be used as syntactic sugar to indicate a form of bi-directional attack

Examples

• 1: "helo"
• 2: "world"
• 3: "foo"
• 4: "bar"
• 5: 1, 2 } 3 - Statements 1 & 2 support statement 3
• 6: 1, 2 > 4 - Statements 1 & 2 attack statement 3