Abstract
This paper describes the design and implementation of the programming language PC- Life. This language integrates the functional and the logic-oriented programming style and feature types supporting inheritance. This combination yields a language particularly suited to knowledge representation, especially for application in computational linguistics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Harold Abelson and Gerald Jay Sussmann. Structure and Interpretation of Computer Programs. MIT.Press, 1985.
Hassan Äit-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351, 1986.
Hassan Äit-Kaci et al. Efficient implementation of lattice operations.ACM Transactions on Programming Languages and Systems, 11 (1):115–146, 1989.
Hassan Äit-Kaci and Patrick Lincoln. LIFE — a natural language for natural language. Technical report, Microelectronics and Computer Technology Corporation, Austin (TX),1988 February
Hassan Äit-Kaci and Roger Nasr. Login: A logic programming language with built-in inheritance. The Journal of Logic Programming, 3:185–215, 1986.
Rolf Backofen. Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen. Diplomarbeit, Universität Erlangen-Nürnberg, 1989.
Jochen Dörre and Andreas Eisele. Determining consistency of feature terms with distributed disjunctions. In D[ieter] Metzing, editor, Proc. of the 13 th German Workshop on Artificial Intelligence, volume 216 of Informatik Fachberichte, pages 270–279. Springer, Berlin, 1989.
Andreas Eisele and Jochen Dörre. Unification of disjunctive feature descriptions. In26 th Annual Meeting of the Association for Computational Linguistics, pages 186–194, Buffalo (NY), 1988.
Lutz Euler . Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil I: Konzeption, Typhierarchie und Funktionen. Diplomarbeit, Universität Erlangen-Nürnberg,1989
Christopher T. Haynes. Logic continuations. Journal of Logic Programming, 4:157–176, 1987.
John Maxwell and Ronald Kaplan. An overview of disjunctive constraint satisfaction. In Proceedings of the International Parsing Workshop 1989, pages 18–27, 1989.
Bernhard Nebel and Gert Smolka. Representation and reasoning with attributive descriptions. IWBS-Report 81, IBM Deutschland GmbH, Stuttgart, 1989.
Gert Smolka. A feature logic with subsorts. LILOG-Report 33, IBM Deutschland GmbH, Stuttgart, May 1988.
Åke Wikström. Functional Programming Using Standard ML. Prentice Hall, London, 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Backofen, R., Euler, L., Görz, G. (1990). Towards the Integration of Functions, Relations and Types in an AI Programming Language. In: Marburger, H. (eds) GWAI-90 14th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76071-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-76071-6_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53132-6
Online ISBN: 978-3-642-76071-6
eBook Packages: Springer Book Archive