Algunos Punteros Utiles Relacionados con el
CURSO DE PROGRAMACION LOGICA de ORDEN SUPERIOR
Diciembre del 97
- Lugar donde se dió el curso: Departamento de Inteligencia Artificial, Universidad Politécnica de Madrid
- Profesor: Jaime Lipton
- Apuntes:
-
El "HOME PAGE" de
- La página del "web" de Terzo, la tercera y más reciente implementación de lambda-Prolog, con documentación, fuentes y código compilado para varias arquitecturas.
- El "Home Page" de LOLLI, el lenguaje de programación lógica que combina lógica lineal e intuicionista.
- El "Home Page" de Lygon, otro lenguaje basado en la lógica lineal.
- El "Home Page" de
ELF, un
lenguaje de programación lógica basado en
el LF Logical Framework de Harper, Honsell y
Plotkin,
usado principalmente
para la metaprogramación.
- GENTE que trabaja con Lambda-prolog, ELF, Lolli, Lygon, Forum y
lenguajes relacionados.
- Otras Fuentes:
- Algunos artículos claves sobre la
uniformidad y la programación lógica
de orden superior, o con lógica lineal:
Higher-order Logic Programming 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).
Intuitionistic Logic and Logic Programming 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).
Linear Logic 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.
A Multiple-Conclusion Meta-Logic, by Dale Miller. Proceedings of the 1994 Symposium on Logics in Computer Science, edited by S. Abramsky, pp. 272-281. (DVI, PostScript).
- Algunos artículos claves sobre la
uniformidad y la programación lógica
de orden superior, o con lógica lineal: