Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T20:39:49.986Z Has data issue: false hasContentIssue false
  • English
  • Français

Knowledge-based systems, Lisp, and very high level implementation languages*

Published online by Cambridge University Press:  07 July 2009

Eric Sandewall
Eric Sandewall
Affiliation:
Department of Computer and Information Science, Linköping University, Linköping, Sweden
Get access Rights & Permissions [Opens in a new window]

Abstract

It is usually agreed that programming languages for implementing (other) programming languages, or ‘implementation languages’, should be simple low-level languages which are close to the machine code and to the operating system. In this paper it is argued that a very high level implementation language is a good idea, of particular importance for knowledge-based systems, and that Lisp (as a language and as a system) is very well suited to be a very high level implementation language. The significance of special-purpose programming languages is also discussed, and the requirements that they have for a very high level implementation language are considered.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 7 , Issue 2 , June 1992 , pp. 147 - 155
Copyright
Copyright © Cambridge University Press 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Beckman, L, Haraldsson, A, Oskarsson, A and Sandewall, E. 1976, “A partial evaluator, and its use as a programming tool” Artificial Intelligence 7 319–357.CrossRefGoogle Scholar
Emanuelsson, P and Haraldsson, A, 1980, “On compiling embedded languages in LISP” In: Proceedings Conference on LISP,Stanford, CA.CrossRefGoogle Scholar
Emanuelsson, P, 1980, Performance Enhancement in a Well-structured Pattern Matcher through Partial Evaluation PhD thesis, Linköping University, Sweden.Google Scholar
Haraldsson, A, 1977, A Program Manipulation System Based on Partial Evaluation PhD thesis, Linköping University, Sweden.Google Scholar
Haraldsson, A, 1978, “A partial evaluator and its use for compiling iterative statements in LISP” In: Proceedings Fifth Symposium on Principles of Programming Languages Tucson, AZ.Google Scholar
Komorowski, HJ, 1981, A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation PhD thesis, Linköping University, Sweden.Google Scholar
Komorowski, HJ, 1982, “Partial evaluation as a means for inferring data structures in an applicative language: a theory and implementation in the case of prolog” In: Proceedings 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM.Google Scholar
Komorowski, HJ, 1989, “Towards synthesis of programs in a partial deduction framework” In: Workshop on Automating Software Design at IJCAI 1989, Detroit, MI.Google Scholar
Risch, T, 1978, Compilation of Multiple File Queries in a Meta-database system PhD thesis, Linköping University, Sweden.Google Scholar
Risch, T, 1980, “Production program generation in a flexible data dictionary system” In: Proceedings 6th Conference on Very Large Data Bases.Google Scholar
Sandewall, E, 1971, “PCDB. a programming tool for management of a predicate calculus oriented data base” In: International Joint Conference on Artificial Intelligence, pp 159–166.Google Scholar
Sandewall, E, 1973, “Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs” In: International Joint Conference on Artificial Intelligence.Google Scholar
Sandewall, E, 1978, “Programming in the interactive environment: The LISP experience” Computing Surveys 10(1) 35–71.CrossRefGoogle Scholar
Sandewall, E, 1983a, “Formal specification and implementation of operations in information management systems” In: Heering, J and Klint, P, editors, Colloquium Programmeeromgevingen, MC Syllabus Mathematisch Centrum, Amsterdam.Google Scholar
Sandewall, E, 1983b, Theory of information management systems Technical report, Computer Science Department, Linköping University.Google Scholar
Sandewall, E, 1986, “Systems development environments” In: Benson, I, editor, Intelligent Machinery: Theory and Practice Cambridge University Press.Google Scholar
Sandewall, E, 1988, “Future developments in artificial intelligence” In: European Conference on Artificial Intelligence, pp 707–715, invited paper.Google Scholar
Sussman, G and Abelson, M, 1985, Structure and Interpretation of Computer Programs, MIT Press.Google Scholar
Teitelman, W, 1969, “Toward a programming laboratory” In: International Joint Conference on Artificial Intelligence, pp 1–8.Google Scholar