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