CMU Artificial Intelligence Repository
Proof: Left-Associative Natural Language Parser
This directory contains the "proof" left-associative natural
language parser. It includes an interactive proofreader that uses
the rules of the left-associative parser to check grammar.
Version: 0.2 (28-SEP-91)
Ports: PROOF has been successfully built on DECstation 3100s
running ULTRIX 4.2 and X11R5.
Copying: Copyright (C) 1991 Craig R. Latta
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Mailing List: proof-users@xcf.Berkeley.EDU
To be added to the list, send email to
with "add me" in the subject line.
Author(s): Craig R. Latta
Authors!Latta, Grammar Checker, Left-Associative Parser, NLP,
Last Web update on Mon Feb 13 10:26:58 1995