A "concatenative language"
Or
Example: ": double 2 * ;" defines a new word called double. Any subsequent mention of double will replace the word with its definition.
Factorial
: counter dup 2 swap - ;
: ! dup 1 - counter skip ! * ;
7 !