Previous topic  Top  Next topic  Print this Topic
 

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