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
]