Artifact Details

Title

Boyer-Moore ACL theorem prover

Catalog Number

102719741

Type

Software

Date

1979

Author

Boyer, Robert S.; Moore, J. Strother

Publisher

Texas, University of (Austin)

Extent

1 folder

Format

Magnetic Tape: 1/2 inch

Description

ACL (A Computational Logic) is a theorem prover written by Boyer and Moore. The label says 12 Mar 79, tape density 1600, tape format Ansi, tape record 512, tape parity Odd, <Moore> code, Data, Code 1, Data 1, PPR, XXX, Provall.Lib, Provevall.Proofs. Files put on tape with "copy" function at the Exec.

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Computer media; Magnetic Tape: ½ inch

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010