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.