CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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.
Origin:  (

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 GNU GPL 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 proof-request@xcf.Berkeley.EDU with "add me" in the subject line. Author(s): Craig R. Latta Contact: proof@xcf.Berkeley.EDU Keywords: Authors!Latta, Grammar Checker, Left-Associative Parser, NLP, Parsing, Proof References: ?
Last Web update on Mon Feb 13 10:26:58 1995