Module rslogic::state [−] [src]

Logical States

A logical state is a collection of variable bindings.

State	A logical state, containing a collection of variable bindings.
Var	Represents a logical variable. A variable must be created by calling `State::make_var()` before a goal is evaluated (by passing the resulting state to a goal).

Unif	Values used in a state must be unifiable. Unifying two values produces zero or more possible states, where variables that may be contained in the values may be bound in various combinations.

A collection of possible states.