E. W. Elcock

Learn More
the most feasible of the first-order logic systems, is compared with Absys, an assertive programming system developed in 1968, to illustrate what is missing in today's systems. In knowledge representationi, a critical problemr is to express a body of knowledge anid compute its conse-quenice. \Ve need a calculus that wsill rmake knowledge ex-pressioni and(More)
The search strategy of standard Prolog can lead to a situation in which a predicate has to be evaluated in circumstances where it has an infeasibly large number of instantiations. The work by Kornfeld [8] addressed this important problem by means of an extension of unification which allows Prolog to be augmented by what is essentially a (non-standard)(More)
The paper describes a simple and uniform mechanism for dynamic data directed control of the activation and suspension of interacting processes. Although this control structure was conceived to meet the design objectives of an assertative language, and is introduced in the paper from this viewpoint, the control structure is particularly appropriate to the(More)
The explosive growth and general availability of microcomputers is creating a desperate need for the training of computer programmers in how to approach, assess and, if applicable, use microcomputers as an addition to their traditional hardware/software tool-kit in solving applications problems. Until recently, our students (and, we suspect, CS majors and(More)
The development of customized applications is expensive, time consuming and generally beyond the cost or expertise of someone running a small business. This paper describes some initial work on the development of an application generation system oriented towards producing customized software for microcomputer-based business applications. To narrow the scope(More)
  • 1