Author: Dr. A. K. Head,

C.S.I.R.O. Division of Tribophysics, University of Melbourne,

Parkville, Australia

Operating System: Paper Tape

Source Language: LISP

Memory Required: 4K

Abstract: This is a complete LISP program with examples which runs

under PDP LISP (DECUS 8-102). It considers proposed theorems in the

21

　

　

propositional calculus and decides if they are true or false. It is based on

the Wang algorithm and offers a choice of trace print out of steps

involved in proving or disproving a theorem.

Media Price Code: A2, G5

Catalog: August 1978