Contexts have been proposed as a means of performing strictness analysis on non-flat domains. Roughly speaking, a context describes how much a sub-expression will be evaluated by the surrounding program. This paper sh...
详细信息
We show how one can add negation and disjunction to Prolog, with the property that there is no overhead in run time if we do not use the negation, and we only pay for the negation when we actually use it. The extensio...
详细信息
If one desires that an automatic theory formation program detect inconsistency in a set of hypotheses, the Horn clause logic of Prolog is unsuitable as no contradiction is derivable. Full first order logic provides a ...
详细信息
This paper describes a software development environment called GUIDE (General User Interactive Design Environment). GUIDE supports both interactive design and coding in a common environment. It combines the syntax dir...
This paper describes a software development environment called GUIDE (General User Interactive Design Environment). GUIDE supports both interactive design and coding in a common environment. It combines the syntax directed editing found in traditional programming environments with a means for directly viewing and editing the program hierarchy.RésuméCet article décrit un environnement pour le développement de logiciel, appelle GUIDE (General User Interactive Design Environment). GIJIDE appui la conception interactive ainsi que le codage dans un environnement commun. II combine l’édition dirigée par le syntaxe du langage de programmation, qu’on retrouve dans les envirotmements traditionnels, et un moyen de visualiser et éditer directement l’hierarchie de logiciel.
computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive i...
详细信息
computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive impact on educational applications. For example, there now exist ICAI (intelligent computer-assisted instruction) systems to teach or tutor many different subjects; several such systems are discussed herein. In addition to CAI (computer-assisted instruction) systems, we discuss the development of learning environments that are designed to facilitate student-initiated learning. A third major application is the use of expert systems to assist with educational diagnosis and assessment. During the course of our discussion of these three major application areas, we indicate where AI has already played a major role in the development of such systems and where further research is required in order to overcome current limitations.
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combina...
详细信息
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func...
详细信息
暂无评论