Module solution_node

A SolutionNode is a node in a proof tree.

It contains references to the goal to be solved, the knowledge base, the SubstitutionSet, and other relevant data.

The function next_solution(), accepts a solution node as its argument, and initiates the search for a solution. When a solution is found, the search stops.

Each solution node preserves its state. Calling next_solution() again will continue the search for alternative solutions.

Structs

SolutionNode

Represents a node in a proof tree.

Functions

next_solution

Finds the first and next solutions of the given solution node.

print_elapsed

A utility for printing elapsed time.