{"type":"var", "name":<string>}
{"type":"atom", "value":<string>}
{"type":"integer", "value":<integer>}
{"type":"float", "value":<float>}
json([Key=Value, ...])
: a JSON object Values are
processed recursively.{"type":"compound", "functor":<string>, "args":<array>}
Bindings | is a list of Name=Var terms for variables that get their name from the environment. |