Skip to main content

Module proof

prolog2::resolution

Module proof 

Source
Expand description

Proof search via SLD resolution with backtracking and predicate invention.

Structs§

Proof
The proof search engine.

Type Aliases§

Binding
A variable binding: (source_addr, target_addr) on the heap.