Relation *

as a function, multiplies all the numbers, returning the product. As a variable, bound to the last value returned by the read loop.

Arity: 3

Range: Number

Axioms:

(Nth-Domain * 2 Number)

(Nth-Domain * 1 Number)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-numbers