1 packages found
A complete Racket port of SPINdle (v2.2.4), a defeasible logic reasoning system for non-monotonic reasoning where conclusions can be defeated by stronger evidence or superior rules.