PROLOG-REQUEST@SCORE.STANFORD.EDU (Chuck Restivo, The Moderator) (12/22/86)
PROLOG Digest Tuesday, 23 Dec 1986 Volume 4 : Issue 90
Today's Topics:
LP Library - Declarative Language Bibliography,
& Komorowski's Contribution
----------------------------------------------------------------------
Date: Thu, 11 Dec 86 11:28:57 EST
From: jan@harvard.HARVARD.EDU (Jan Komorowski)
Subject: Bibliography
Here is my bibliography. Please accept my appologies for the delay.
KOMOR79
Komorowski, H. J., QLOG interactive environment - the experience from
embedding a generalized Prolog in Interlisp, Department of Computer
and Information Science, Linkoping University, LiTH-MAT-R-79-19,
Sweden, 1979.
KOMOR80
Komorowski, H.J., QLOG - The Software for Prolog and Logic Programming
in Proc. of Logic Programming Workshop, S.-A. Tarnlund, Ed., Debrecen,
Hungary, July 1980.
KOMOR81
Komorowski, H.J., Embedding Prolog in Lisp: An Example of a Lisp Craft
Technique, Department of Computer and Information Science, Linkoping
University LiTH-MAT-R-1981-2, Sweden, 1981.
KOMOR82a
Komorowski, H. J., Partial Evaluation as a Means for Inferencing Data
Structures in An Applicative Language: A Theory and Implementation in
the Case of Prolog, in: Proc. of the IXth ACM Symposium on Principles
of Programming Languages, Albuquerque, 1982.
KOMOR82b
Komorowski, H. J., QLOG - The Programming Environment for Prolog in
Lisp, in: Logic Programming, K. Clark and S.A. Tarnlund, Eds., Academic
Press, 1982.
KOMOR82c
Prolog Programming Environments Workshop, Proceedings, Komorowski, H.
J., Ed., Department of Computer and Information Science, Linkoping
University, Sweden 1982.
KOMOR83a
Komorowski, H.J, Interactive and Incremental Programming
Environments: Experience, Foundations and Future, in: Colloquium
Programmeer-Omgevingen, J. Heering and P. Klint, Eds, Matematisch
Centrum, Amsterdam, The Netherlands, 1983.
KOMOR83b
Komorowski, H. J., An Abstract Prolog Machine, in Proc. of the
European Conference on Integrated Interactive Computer Systems,
Stresa, Italy, North-Holland, 1983.
KOMOR84
Komorowski, H.J, Rapid Software Prototyping in a Database Framework,
A case Study, in: IEEE 1984 Proceedings of the International
Conference on Data Engineering.
KOMOR85a
Komorowski, H.J., A Model and an Implementation of a Logic Programming
Environment, Proc. of ACM SIGPLAN 85 Symposium on Language Issues in
Programming Environments, Seattle, June 1985.
KOMOR85b
Maluszynski, J., Komorowski, H.J., Unification-free Execution of
Horn-clause Programs, Proc. of the 2nd Logic Programming Symposium,
Boston, IEEE, July 1985.
KOMOR86a
Komorowski, H.J., Maluszynski, J, Rapid Software Prototyping and
Logic Programming, to appear in Science of Computer Programming
journal, also available as a Harvard University, Aiken Computation
Laboratory TR-01-86.
KOMOR86b
Komorowski, H.J, A Declarative Logic Programming Environment, to
appear in The Journal of Systems and Software, also available as a
Harvard University, Aiken Computation Laboratory TR-06-86.
------------------------------
End of PROLOG Digest
********************