Page History

...

• Model: Relational vs Tree
• variable binding (unification) & back-reference
• set operators
• support for dataflow (Read/write references...)
• aggregates (grouping results)
• List pattern matching (i.e JTL style for argument list)
• behavioural pattern matching (SOUL like, Jackpot)
• universal quantifiers (forall, exists, no)
• querying style: logic, query-by-example, path, sql

...