A Model for Control Structures for Artificial Intelligence Programming Languages
- 1 April 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (4) , 347-353
- https://doi.org/10.1109/tc.1976.1674616
Abstract
Newer programming languages for artificial intelligence extend the class of available control regimes beyond simple hierarchical control. In so doing, a key issue is using a model that clearly exhibits the relation between modules, processes, access environments, and control environments. This paper presents a model which is applicable to diverse languages and presents a set of control primitives which provide a concise basis on which one can define almost all known regimes of control.Keywords
This publication has 11 references indexed in Scilit:
- A model and stack implementation of multiple environmentsCommunications of the ACM, 1973
- An implementation of backtracking for programming languagesPublished by Association for Computing Machinery (ACM) ,1972
- On implementation of label, variablesCommunications of the ACM, 1971
- The contour model of block structured processesACM SIGPLAN Notices, 1971
- Some examples of the use of function-producing functionsPublished by Association for Computing Machinery (ACM) ,1971
- The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problemACM SIGSAM Bulletin, 1970
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Backtrack ProgrammingJournal of the ACM, 1965
- Recursive ProgrammingNumerische Mathematik, 1960