Logic Programming in LISP.

Abstract : The 'Language Studies' contract is divided into four project areas, all of which are directed to the problems of effectively, reliably and efficiently using modern computers in a wide range of applications. Three of the projects deal with methods of communicating with computers. Task 1. Very High Level Programming Systems (P.I: J. A. Robinson). This group is working towards combining the features developed to support work in the area of artificial intelligence and those used in general program development into a new conceptual framework that can be understood and used by a large community of users. Task 2. Proving Program Correctness (P.I: J. C. Reynolds). This group is working towards programming language designs which increase the probability that specification errors will be detected by the compiler or interpreter and to provide the language facilities so that users will more nearly be able to prove that programs perform as they are specified than is currently possible. Task 3. Grammars of Programming (P.I: E. F. Storm). This group is working towards the development of methods which will allow users to communicate with computer programs in terms of more normal to their every day communication forms. Task 4. Systems Studies (P.I: R. G. Sargent). This group is working towards developing more sophisticated and efficient models of computer systems which can predict system performance when given particular parameter values. The current efforts concern models of transaction processing systems (TPS). (Author)