Title: Little Prover
Subjects: Automatic theorem proving, Lisp (computer program language), LISP (Computer program language)