Swish.Script

Syntax

Defining a prefix

Naming a graph

Reading and writing graphs

Merging graphs

Comparing graphs

Defining rules

Apply a rule

Define a proof

An example script

Parsing

parseScriptFromText