CURSO DE PROGRAMACION LOGICA de ORDEN SUPERIOR
Diciembre del 97
Higher-Order Logic Programming, by Gopalan Nadathur and Dale Miller. To appear in Volume 5 of the Handbook of Logics for Artificial Intelligence and Logic Programming. (DVI).
Higher-order Horn Clauses, by Gopalan Nadathur and Dale Miller, Journal of the ACM, Vol. 37, No. 4 (1990), 777-814. (DVI).
Uniform proofs as a foundation for logic programming, by Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Annals of Pure and Applied Logic, Vol. 51 (1991), 125 -- 157. (DVI, Abstract). Errata in DVI format.
A logical analysis of modules in logic programming, by Dale Miller. Journal of Logic Programming, 6 (1989), 79 -- 108. Translated to Russian and reprinted in Mathematical Logic in Programming, edited by Y. I. Janov, M. V. Zakhar'yashchev, and A. Voronkov, Mir Publishers, USSR, 1991, pp. 233--273). (DVI).
Forum: A Multiple-Conclusion Specification Logic, by Dale Miller. Theoretical Computer Science 165(1): 201-232 (1996). (DVI.
Logic Programming in a Fragment of Intuitionistic Linear Logic by Joshua S. Hodas and Dale Miller. Journal of Information and Computation, 110(2):327-365, 1 May 1994. (PostScript.) Prolog code from this paper is available. An earlier version of this paper appeared in LICS'91.