A Multiple-Valued Logical Semantics for Prolog

Roberto Barbuti, Paolo Mancarella. A Multiple-Valued Logical Semantics for Prolog. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 62-76, Springer, 1996.

Abstract

Abstract is missing.