The main kind of data dealt with by Refal Plus programs are ground expressions.
Variables
Refal Plus variables can take as values ground expressions.
Result Expressions
Refal Plus result expressions are, in a sense, an analog to the well-known arithmetic expressions. They may contain constants, variables and function calls, and are used for producing new ground expressions from constants and variable values.
Patterns
Patterns provide the principal way of analyzing ground expressions.