|
|
|
Variables |
|
|
|
|
Variables |
All variables are denoted as ?var
| • | ? a variable always starts with the character '?' |
| • | var variable name (can contain letters, digits und most unicode characters) (see grammar in appendix for details) |
The variable ? denotes an anonymous variable. Every occurance denotes a new variable that does not occur anywhere else.
Example
?X
?y1
?1
?aPerson
?Übung