Computing with logic
David Maier, Dhd Warren · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1988
This invaluable reference for Prolog users and programmers is a unique, self-contained introduction to the formal semantics of logic programming and automatic theorem proving. It provides programmers with insights which will allow them to fully exploit the power of Prolog.