tool: proof

Language:
natural languages
Version:
?
Parts:
parser, documentation
Author:
Craig R. Latta <latta@xcf.Berkeley.EDU>
Location:
ftp://scam.berkeley.edu/src/local/proof/*
Description:
a left-associative natural language grammar scanner
Bugs:
proof@xcf.berkeley.edu
Ports:
Decstation3100 Sun-4
Discussion:
proof-request@xcf.berkeley.edu ("Subject: add me")
Updated:
September 23rd, 1991

Related Items

language: natural languages

category: natural languages summary, or expanded.

This work supported by Idiom Consulting. Idiom is a full-service ISP, providing Internet access in Northern California and Web hosting worldwide.

Please send updates to free-compilers@idiom.com

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved