Computer Processable English and McLogic
Stephen Pulman · 1999
This paper describes an experimental system which uses an artificially restricted subset of English (CPE) for knowledge representation and program specification, following a line of work described in Macias and Pulman 1995 [3], and Pulman 1996 [5].