Previous Up

References

[1]
Joint Technical Committee ISO/IEC JTC 1. Information technology – Programming languages – Prolog – Part 1: General Core. Technical Report ISO/IEC 13211-1, 1995.
[2]
D.L. Bowen. DEC-10 Prolog User’s Manual. D.A.I. occasional paper 27, University of Edinburgh, December 1981.
[3]
W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981.
[4]
Mehmet Dincbas and Jean-Pierre Le Pape. Metacontrol of Logic Programs in METALOG. In ICOT, editor, Proceedings of the International Conference on Fifth Generation Computer Systems 1984, pages 361–370, 1984.
[5]
ECLiPSe 3.4 Extensions User Manual, 1994.
[6]
Micha Meier. Event handling in Prolog. In Proceedings of the North American Conference on Logic Programming, Cleveland, October 1989.
[7]
Micha Meier. Compilation of compound terms in Prolog. In Proceedings of the NACLP’90, Austin, October 1990.
[8]
Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, and Joachim Schimpf. SEPIA - an extendible Prolog system. In Proceedings of the 11th World Computer Congress IFIP’89, pages 1127–1132, San Francisco, August 1989.
[9]
Micha Meier, Philip Kay, Emmanual van Rossum, and Hugh Grant. Sepia programming environment. In Proceedings of the NACLP’89 Workshop on Logic Programming Environments: The Next Generation, pages 82–86, Cleveland, October 1989.
[10]
Micha Meier and Joachim Schimpf. An architecture for prolog extensions. In Proceedings of the 3rd International Workshop on Extensions of Logic Programming, pages 319–338, Bologna, 1992.
[11]
Stefano Novello and Joachim Schimpf. ECLiPSe Embedding and Interfacing Manual, 1999.
[12]
John K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
[13]
Joachim Schimpf. Logical loops. In Peter. J. Stuckey, editor, Proceedings of the 18th International Conference on Logic Programming, pages 224–238. Springer, July/August 2002.
[14]
D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI, October 1983.

Previous Up