Combining object-oriented and logic paradigms: A modal logic programming approach

This publication has 10 references indexed in Scilit:

• Propositional logic programming and the Priz system
  The Journal of Logic Programming, 1990
• A logical theory of concurrent objects
  ACM SIGPLAN Notices, 1990
• An integration of logic and object-oriented programming
  ACM SIGPLAN Notices, 1988
• Bridging the gap between object-oriented and logic programming
  IEEE Software, 1988
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• A concurrent object-oriented knowledge representation language Orient84/K: its features and implementation
  ACM SIGPLAN Notices, 1986
• An experience with a Prolog-based object-oriented language
  ACM SIGPLAN Notices, 1986
• MOLOG: A system that extends PROLOG with modal logic
  New Generation Computing, 1986
• Object oriented programming in Concurrent Prolog
  New Generation Computing, 1983
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980