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.