JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.