Spindle: Defeasible Logic Reasoning🔗ℹ

Spindle is a Racket implementation of a defeasible logic reasoning system. It supports non-monotonic reasoning where conclusions can be defeated by more specific rules or explicit exceptions.

This implementation is based on the SPINdle reasoner developed at NICTA/Griffith University.