Abstract
This document describes a particular facet of an experimental programming model whose design is the objective of our on-going research at MCC — the ε programming environment. ε draws from the most recent theory and technology in typed relational and functional programming. We start by making general observations meant to put our work in context within the research community, and proceed to summarize that particular sublanguage of ε which combines type inheritance and logic programming — a prototype named LOGIN.
Keywords
This research is being carried out as part of the ε programming language project by the Intelligent Systems Architecture [AN486].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ait-Kaci, H., Boyer, R., and Nasr, R., The Efficient Implementation of Multiple Inheritance. MCC Technical Report AI-109–85. Microelectronics and Computer Technology Corporation. Austin, December 1985.
Allen, J.F., and Frish, A.M., What’s in a Semantic Network, In Proceedings of the 20th Annual ACL Meeting. Association for Computational Linguistics, 1982.
Ait-Kaci, H., A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures. Ph.D. Thesis, Computer and Information Science, University of Pennsylvania. Philadelphia, PA, 1984.
Ait-Kaci, H., Lincoln, D., and Nasr, R., É: An Overview. MCC Technical Report AI-420–86 (MCC Confidential and Proprietary). Microelectronics and Computer Technology Corporation. Austin, December 1986.
Ait-Kaci, H., Lincoln, D., and Nasr, R., É: An Overview. MCC Technical Report AI-420–86 (MCC Confidential and Proprietary). Microelectronics and Computer Technology Corporation. Austin, December 1986.
Ait-Kaci, H., and Nasr, R., Logic Programming and Inheritance. In Proceedings of the 13th ACM POPL Symposium. St-Petersburg, Florida, January 1986.
Ait-Kaci, H., and Nasr, R., LOGIN: A Logic Programming Language With Built-in Inheritance. Journal of Logic Programming 3, pp. 185–215. 1986.
Ait-Kaci, H., and Nasr, R., Residuation: A Paradigm for Integrating Logic and Functional Programming. MCC Technical Report AI-359–86, Microelectronics and Computer Technology Corporation. Austin, October 1986.
Ait-Kaci, H., and Nasr R., The Fool’s Approach to Computation. Forthcoming MCC AI/ISA Technical Report, Microelectronics and Computer Technology Corporation. Austin, 1987.
Arvind, (no initial)., and R.S. Nikhil, Executing a program on the mit tagged-token dataflow architecture, In Proceedings of the PARLE Conference, Eindhoven, The Netherlands. (LNCS Volume 259), Springer-Verlag, June 15–19 1987.
Brachman, R.J., Fikes, R.E., and Levesque, HJ., KRYPTON: A Functional Approach to Knowledge Representation, FLAIR Technical Report No 16, Fairchild Lab. for Artificial Intelligence Research, Fairchild Research Center. Palo Alto, May 1983.
Church, A., A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5, pp. 56–68. 1940.
Deliyanni, A., and Kowalski, R.A. Logic and Semantic Networks, Communications of the ACM, 22(3):184–92. 1979.
Findler, N.V., (Ed.), Associative Networks: Representation and Use of Knowledge by Computers. Academic Press. New York, NY. 1979.
Huet, G., Resolution d’Equations dans des Langages d’Ordre 1,2,…,W. These de Doctorat d’Etat, Universite de Paris VII, France. 1976.
Kowalski, R.A., Logic for Data Description, In Logic and Data Bases, Gallaire, H., and Minker, J. (Eds.), pp.77–103. Plenum Press, 1978
Minsky, M., A Framework for Representing Knowledge. In Winston, P.H. (Ed.), The Psychology of Computer Vision, pp. 211–77. McGraw-Hill. New York, NY. 1975.
McSkimin, J.R., and Minker, J., A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks-The Representation and Use of Knowledge by Computers, Findler, N. (Ed.)., Academic Press, New York, 1979.
Reynolds, J.C., Transformational Systems and the Algebraic Structure of Atomic Formulas, In Machine Intelligence 5, Michie, D. (Ed.), Edinburgh University Press, 1970.
Robinson, J.A., A Machine Orientated Logic Based on the Resolution Principle, Journal of the ACM, Vol. 12,1965, pp 23–31.
Warren, D.H.D., An Abstract Prolog Instruction Set, AI Center Technical Note 309, SRI International, Menlo Park, CA., October 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aït-Kaci, H., Nasr, R. (1988). Integrating Data Type Inheritance into Logic Programming. In: Atkinson, M.P., Buneman, P., Morrison, R. (eds) Data Types and Persistence. Topics in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61556-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-61556-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64870-0
Online ISBN: 978-3-642-61556-6
eBook Packages: Springer Book Archive