ASSERT

Adds a fact to the fact-list.

(assert <RHS pattern>+)