Definitions for "Arithmetic expression"
a Prolog term that is made up of variables, numbers, atoms and compound terms, e
a rule for computing a numerical value
a term built from numbers, variables, and functors that represent arithmetic functions