Module 0315: Predicate calculus via Prolog
Module content (HTML generated by htlatex)