SPINdle is a logic reasoner that
can be used to compute the consequence of defeasible logic theories
in an efficient manner. The current implementation covers both the
basic defeasible logic and modal defeasible logic. It can be used as
a standalone theory prover or as an embedded reasoning engine.