Abstract
We show how a negation operation which allows for the possibility to represent explicit negative information can be added to Prolog without essentially altering its computational structure.
Preview
Unable to display preview. Download preview PDF.
References
A. Almukdad and D. Nelson: Constructible falsity and inexact predicates, JSL 49/1 (1984), 231–233
N.D. Belnap: A Useful Four-valued Logic, in G. Epstein and J.M. Dunn (eds.), Modern Uses of Many-valued Logic, Reidel, 1977, 8–37
H. Blair and V.S. Subrahmanian: Paraconsistent Logic Programming, Theoretical Computer Science 68 (1989), 135–154
J.P. Cleave: The notion of logical consequence in the logic of inexact predicates, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 20 (1974), 307–324
D. van Dalen: Intuitionistic Logic, in D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Kluwer, Dordrecht, 1986.
M. Fitting: A Kripke-Kleene Semantics for Logic Programs, J. Logic Programming 3 (1986), 75–88.
M. Fitting: Logic Programming on a Topological Bilattice, Fund. Inf. 11 (1988), 209–218.
D. Gabbay: What is Negation in a System?, in F.R. Drake & J.K. Truss (eds.), Logic Colloquium '86, Elsevier, Amsterdam, 1988.
D. Gabbay and M.J. Sergot: Negation as Inconsistency, I, J. Logic Programming 3 (1986), 1–35.
L. Hallnäs and P. Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming I: Generalized Horn Clauses, SICS Research Report, 1987; forthcoming in J. Logic and Computation.
S. Kleene: Introduction to Metamathematics, Van Nostrand, 1952
S. Körner: Experience and theory, Kegan Paul, London 1966
J.W. Lloyd and R.W. Topor: Making Prolog More Expressive, JLP 1984:3, 225–240
J. Łukasiewicz: On 3-valued logic, in S. McCall (ed.): Polish Logic, Oxford University Press, 1967
D. Miller: A Logical Analysis of Modules in Logic Programming, J. Logic Programming 6 (1989), 79–108.
D. Nelson: Constructible falsity, JSL 14 (1949), 16–26
D. Pearce and G. Wagner: Reasoning with Negative Information I — Strong Negation in Logic Programs, Technical Report, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin, 1989
T.C. Przymusinski: Non-Monotonic Formalisms and Logic Programming, in Proc. Conf. on Logic Programming 1989, MIT 1989
H. Rasiowa, An Algebraic Approach to Non-classical Logics, North-Holland, 1974
R. Reiter: On Closed-World Databases, in J. Minker and H. Gallaire (eds.): Logic and Databases, Plenum Press, 1978
M.J. Sergot, F. Sadri, R.A. Kowalski, F. Kriwaczek, P. Hammond and H.T. Cory: The British Nationality Act as a Logic Program, Communications of the ACM 29/5 (1986), 370–386
G. Wagner: Algebraic Semantics of Propositional Logic Programs, Technical Report, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin, 1989
G. Wagner: The Two Sources of Nonmonotonicity in Vivid Logic — Inconsistency Handling and Weak Falsity, in G. Brewka and H. Freitag (eds.), Proceedings of the GMD Workshop on Nonmonotonic Reasoning 1989, Gesellschaft für Mathematik und Datenverarbeitung, Bonn — St. Augustin, 1990
G. Wagner: Logic Programming with Strong Negation and Inexact Predicates, Technical Report, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pearce, D., Wagner, G. (1991). Logic programming with strong negation. In: Schroeder-Heister, P. (eds) Extensions of Logic Programming. ELP 1989. Lecture Notes in Computer Science, vol 475. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0038700
Download citation
DOI: https://doi.org/10.1007/BFb0038700
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53590-4
Online ISBN: 978-3-540-46879-0
eBook Packages: Springer Book Archive