Module state

Logical States

A logical state is a collection of variable bindings.

Structs

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).

Traits

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.

Type Aliases

PossibleStates

A collection of possible states.