Logica
Stickel Clausal Form Converter Wegman Unifier	Babbage Truth Table Generator Clarke Logic Grid Editor Quine Sentence Evaluator Russell Constraint Satisfier Herbrand Sentence Analyzer	Hilbert Hilbert-style Proof Editor Fitch Fitch-style Proof Editor Robinson Resolution Proof Editor