Abstract
In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.
Preview
Unable to display preview. Download preview PDF.
References
Bowen, K.A.: Meta-Level Programming and Knowledge Representation, New Generation Computing, 3(1985), 359–383.
Chikayama, T.: ESP Reference Manual, ICOT Technical Report TR-044, 1984.
Fariñas del Cerro, L: MOLOG: A System That Extends PROLOG with Modal Logic, New Generation Computing, 4(1986), 35–50.
Hughes, G. E., & Cresswell, M. J.: An Introduction to Modal Logic, London:Methuen.
Moore, R. C.: A Formal Theory of Knowledge and Action, in Formal Theories of the Commonsense World (J.R.Hobbs, & R.C.Moore, Eds.), Ablex, New Jersey, 319–358.
Nakashima, H.: Prolog/KR — language features, Proc. of the 1st Intern. Logic Programming Conference, Marseille, 1982, 65–70.
Shapiro, E. Y.: Inductive Inference of Theories from Facts, Research Report 192, Dept. of Computer Science, Yale University, 1981.
Warren, D. S.: Database Updates in Pure PROLOG, Proc. of the Intern. Conf. on FGCS' 84, Tokyo, 1984, 244–253.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sakakibara, Y. (1987). Programming in modal logic: An extension of PROLOG based on modal logic. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_24
Download citation
DOI: https://doi.org/10.1007/3-540-18024-9_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18024-1
Online ISBN: 978-3-540-47712-9
eBook Packages: Springer Book Archive