Module nonmonotonic
Classes
ClosedDomainProver
ClosedWorldProver
PredHolder
ProverParseError
SetHolder
UniqueNamesProver
Functions
closed_domain_demo
closed_world_demo
combination_prover_demo
default_reasoning_demo
demo
get_domain
print_proof
unique_names_demo
Variables
APP
[
hide private
]