INTERLISP, an interactive, development-oriented computer programming system, has been augmented to support applications requiring large data bases maintained on secondary store.
The first part of the thesis explains from first principles the concept of "logic programming’’ and its practical application in the programming language Prolog. Prolog is a simple but powerful language which encourages rapid, error-free programming and clear, readable, concise programs.
Claude R. Brice, Claude L. Fennema, & Stephen A. Weyl
In the region analysis work done by Brice and Fennema (1969), a one-pass algorithm was used to initially partition the picture into named, homogeneous, connected components and to set up the region structure (AROS).
During the years 1971 and 1972, there has been a remarkable amount of activity and interest in automated language processing–so much so, that it is difficult to know precisely where to begin in order to convey the implications of this observation to the reader.
One of a series of SRI reports for policymakers about how California’s teacher workforce has been credited with increasing investments in teacher development and improving workforce quality.
This chapter describes new developments in computer-based procedures that can improve our understanding of how people organize and use information. Relevant recent research in information science, computational linguistics, and artificial intelligence is reviewed.
The deductive approach is a formal program construction method in which the derivation of a program from a given specification is regarded as a theorem-proving task.
