Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia

Volume 10, Issue 3, Septiembre 1995

Comentarios sobre la relación entre la programación logica y las lógicas no monótonas

My purpose in this paper is to show the evolution of the relationship between nonmonotonic logic and logic programming. I think that there are two periods in the evolution of this relationship. The first one is the point of contact between these two fields that had been developed independently. In the second period, as I will show, the motivation to propose three-valued nonmonotonic logic comes from the study of the relationship between these two fields, and not from the study of nonmonotonic logic itself.