Preview
Unable to display preview. Download preview PDF.
References
Reem Bahgat and Steve Gregory. Pandora: Non-deterministic parallel logic programming. In Proceedings of ICLP'89. MIT Press, 1989.
Francisco Bueno and Manuel Hermenegildo. An automatic translation scheme from Prolog to the Andorra Kernel Language. PEPMA Internal Report, March 1991.
Vitor Santos Costa, David H. D. Warren, and Rong Yang. The Andorra-I engine: A parallel implementation of the Basic Andorra model. In Proceedings of ICLP'91. MIT Press, 1991.
Torkel Franzén. Logical aspects of the Andorra Kernel Language. SICS Research Report R91:12, Swedish Institute of Computer Science, 1991.
Seif Haridi and Per Brand. Andorra Prolog, an integration of Prolog and committed choice languages. In Proceedings of FGCS'88, 1988.
Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its computation model. In Proceedings of ICLP'90. MIT Press, 1990.
Sverker Janson and Seif Haridi. Programming paradigms of the Andorra Kernel Language. In Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991. (Revised version of SICS Research Report R91:08, to be published).
Michael J. Maher. Logic semantics for a class of committed choice programs. In Proceedings of the Fourth International Conference on Logic Programming. MIT Press, 1987.
Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1990.
Kazunori Ueda. Guarded horn clauses. Technical Report TR-103, ICOT, June 1985.
Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
Rong Yang. Solving simple substitution ciphers in Andorra-I. In Proceedings of the Sixth International Conference on Logic Programming. MIT Press, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franzén, T., Haridi, S., Janson, S. (1992). An overview of the Andorra Kernel Language. In: Eriksson, L.H., Hallnäs, L., Schroeder-Heister, P. (eds) Extensions of Logic Programming. ELP 1991. Lecture Notes in Computer Science, vol 596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013607
Download citation
DOI: https://doi.org/10.1007/BFb0013607
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55498-1
Online ISBN: 978-3-540-47114-1
eBook Packages: Springer Book Archive