The current version of zdatr is not intended to be the final one.
Although it allows queries from different input sources
,
quite comfortable error parsing and an acceptable runtime
behaviour,
it still lacks full variable support: The current zdatr can
handle simple variables with a complete declaration part, undeclared
variables and on-the-fly variables. Declaration of variables with
operations over other variables is not possible in the current
version. To work around this restriction, declared variables have to
be given with a full declaration consisting of atoms only. Furthermore
variables with different names should not be used in the position in the
left-hand-sides of different equations under the same node.
A: <$x> == $x <> <$x $y> == $y <>.instead of
A: <$x> == $x <> <$y $x> == $x <>.