Modal Logic Programming(ID:6839/mod041)

Modal extensions to Prolog
Related languages
Prolog => Modal Logic Programming   Extension of
References:
  • Akama, S. "A proposal of modal logic programming (extended abstract)" in Proc. of the 6th Canadian Conference on Artificial Intelligence, pp. 99-102, Ecole Fob/technique de Montreal, Montreal, Quebec, Canada, May 1986. Presses de PUniversite du Quebec. view details
  • Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 view details Extract: Modal Logic Programming
    Akama proposed an extension of Prolog based on modal logic S5. As a proof procedure for modal logic programs, an extension of the standard SLD-resolution with two additional inference rules for modal operators is defined, and its completeness is established