Module resolution


Classes

BindingDict
BindingException
Clause
DebugObject
ProverParseError
ResolutionProver
ResolutionProverCommand
UnificationException

Functions

_clausify
_complete_unify_path
_iterate_first
_iterate_second
_mgu_var
_subsumes_finalize
_unify_terms
clausify
demo
most_general_unification
resolution_test
testResolutionProver
test_clausify

Variables

APP

[hide private]