Abstract
PC-Life, a dialect of the LIFE language designed by Aït-Kaci, extends the original design by some features, the most important of which are distributed disjunctions. LIFE integrates the functional and the logic-oriented programming styles, and feature types supporting inheritance. This language is well suited for knowledge representation, in particular for applications in computational linguistics.
This is a preview of subscription content, log in via an institution to check access.
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 Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351, 1986.
Hassan Aït-Kaci et al. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, 1989.
Hassan Aït-Kaci and Patrick Lincoln. LIFE — a natural language for natural language. Technical report, Microelectronics and Computer Technology Corporation, Austin (TX), February 1988.
Hassan Aït-Kaci and Andreas Podelski. Is there a meaning to LIFE? Paper submitted to ICLP-91, November 1990
Hassan Aït-Kaci and Roger Nasr. Login: A logic programming language with built-in inheritance. The Journal of Logic Programming, 3:185–215, 1986.
Rolf Backofen and Lutz Euler and Günther Görz. Towards the Integration of Functions, Relations and Types in an AI Programming Language. In Proceedings of the German Workshop on Artificial Intelligence GWAI-90, Berlin: Springer, 1990.
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. In 26th 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
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Backofen, R., Euler, L., Görz, G. (1991). Distributed disjunctions for LIFE. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013527
Download citation
DOI: https://doi.org/10.1007/BFb0013527
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive