Module nonmonotonic

Classes

ClosedDomainProver
ClosedWorldProver
PredHolder
ProverCommandDecorator
UniqueNamesProver

Functions

closed_domain_demo
closed_world_demo
combination_prover_demo
unique_names_demo