category: natural languages

`Description:`	These are tools that interact with human languages.

`Language:`	natural languages
`Package:`	Pleuk grammar development system
`Version:`	1.0
`Parts:`	shell, examples, documentation
`Author:`	Jo Calder <jcalder@cs.sfu.ca>, Kevin Humphreys <kwh@cogsci.ed.ac.uk>, Chris Brew <chrisbr@cogsci.ed.ac.uk>, Mike Reape <mreape@cs.tcd.ie>
`Location:`	ftp://ai.uga.edu/ai.natural.language/
`Description:`	A shell for grammar development, handles various grammatical formalisms.
`Requires:`	SICStus Prolog version 2.1#6 or later, and other programs readily available from the public domain.
`Contact:`	pleuk@cogsci.ed.ac.uk.
`Updated:`	June 18th, 1993

`Language:`	natural languages
`Package:`	proof
`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

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

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