M. Bugliesi, E. Lamina, and P. Mello. Modularity in logic programming. Journal of Logic Programming, 1994. To appear.
Pascal Brisset and Olivier Ridoux. The architecture of an implementation of λProlog: Prolog/Mali. In Dale Miller, editor, Proceedings of the 1992 λProlog Workshop, 1992.
Roy Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57(3), September 1992
Conal Elliott and Frank Pfenning. eLP, a Common Lisp Implementation of λProlog. Implemented as part of the CMU ERGO project, May 1989.
Gerhard Gentzen. Investigations into logical deductions, 1935. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen
, pages 68–131. North-Holland Publishing Co., Amsterdam, 1969.Google Scholar
L. Giordano, A. Martelli, and G. F. Rossi. Local definitions with static scope rules in logic languages. In Proceedings of the FGCS International Conference, Tokyo, 1988.
D. M. Gabbay and U. Reyle. N-Prolog: An extension of Prolog with hypothetical implications. I. Journal of Logic Programming
, 1:319–355, 1984.Google Scholar
Elsa L. Gunter. Extensions to logic programming motivated by the construction of a generic theorem prover. In Peter Schroeder-Heister, editor, Extensions of Logic Programming: International Workshop
, Tübingen FRG
, December 1989
, volume 475 of Lecture Notes in Artificial Intelligence
, pages 223–244. Springer-Verlag, 1991.Google Scholar
Joshua Hodas and Dale Miller. Representing objects in a logic programming language with scoping constructs. In David H. D. Warren and Peter Szeredi, editors, 1990 International Conference in Logic Programming, pages 511–526. MIT Press, June 1990.
Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Journal of Information and Computation, 1994. (To appear). Available from ftp.cis.upenn.edu, pub/papers/miller/ic92.dvi.Z.
Jörg Hudelmaier. Bounds for cut elimination in intuitionistic propositional logic
. PhD thesis, University of Tübingen, Tubingen, 1989. To appear in Archive of Mathematical Logic.Google Scholar
Keehang Kwon, Gopalan Nadathur, and Debra Sue Wilson. Implementing a notion of modules in the logic programming language λprolog. In E. Lamma and P. Mello, editors, Proceedings of the 1992 Workshop on Extensions to Logic Programming, number 660 in Lecture Notes in Computer Science. Springer-Verlag, 1993.
L. T. McCarty. Clausal intuitionistic logic I. fixed point semantics. Journal of Logic Programming
, 5:1–31, 1988.Google Scholar
L. T. McCarty. Clausal intuitionistic logic II. tableau proof procedure. Journal of Logic Programming
, 5:93–132, 1988.Google Scholar
Dale Miller. A theory of modules for logic programming. In Robert M. Keller, editor, Third Annual IEEE Symposium on Logic Programming, pages 106–114, Salt Lake City, Utah, September 1986.
Dale Miller. Lexical scoping as universal quantification. In Sixth International Logic Programming Conference
, pages 268–283, Lisbon, Portugal, June 1989. MIT Press.Google Scholar
Dale Miller. A logical analysis of modules in logic programming. Journal of Logic Programming
, 6(1–2):79–108, January 1989.Google Scholar
Dale Miller. Abstractions in logic programming. In Piergiorgio Odifreddi, editor, Logic and Computer Science, pages 329–359. Academic Press, 1990.
Dale Miller. Abstract syntax and logic programming. In Logic Programming: Proceedings of the First and Second Russian Conferences on Logic Programming, number 592 in Lecture Notes in Artificial Intelligence, pages 322–337. Springer-Verlag, 1992.
Dale Miller and Gopalan Nadathur. λProlog Version 2.7. Distribution in C-Prolog and Quintus sources, July 1988.
Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic
, 51:125–157, 1991.Google Scholar
Gopalan Nadathur and Dale Miller. An Overview of λProlog. In Fifth International Logic Programming Conference
, pages 810–827, Seattle, Washington, August 1988. MIT Press.Google Scholar
Gopalan Nadathur and Frank Pfenning. The type system of a higher-order logic programming language. In Frank Pfenning, editor, Types in Logic Programming, pages 245–283. MIT Press, 1992.