Documentación de "Lógica y programación" (99-00)
- Alonso Jiménez, J.A.
Lógica computacional
(Univ. de Sevilla, 1997)
- Alonso Jiménez, J.A.;
Fernández Margarit, A. y
Pérez Jiménez, M.J.
Razonamiento automático
(Univ. Sevilla, 1996)
- Baj, F.
Logic with PAIL
(June 25 1991)
- Genesereth, M.R.
Introduction to Logic
(Stanford University)
- Gordon, G.J.
Common Lisp Hints
- Paulson, L.C.
Logic and Proof
(University of Cambridge, 1999)
- Shapiro, S.C.
Foundations of Logic and Inference
(Tutorial IJCAI, 1995)
- Steele, Guy L.
Common Lisp: the Language (2nd Edition)