TY - GEN
T1 - Programming in modal logic
T2 - 5th Conference on Logic Programming, 1986
AU - Sakakibara, Yasubumi
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1987.
PY - 1987
Y1 - 1987
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33846845273&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33846845273&partnerID=8YFLogxK
U2 - 10.1007/3-540-18024-9_24
DO - 10.1007/3-540-18024-9_24
M3 - Conference contribution
AN - SCOPUS:33846845273
SN - 9783540180241
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 81
EP - 91
BT - Logic Programming 1986 - Proceedings of the 5th Conference
A2 - Wada, Eiiti
PB - Springer Verlag
Y2 - 23 June 1986 through 26 June 1986
ER -