Equations
Asserts next fact in the goal
fact queue.
Returns true
if the queue was not empty and false
otherwise.
Equations
Instances For
Asserts all facts in the goal
fact queue.
Returns true
if the queue was not empty and false
otherwise.