Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach

@inproceedings{Uustalu1992CombiningOA,
  title={Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach},
  author={T. Uustalu},
  booktitle={ECOOP},
  year={1992}
}
  • T. Uustalu
  • Published in ECOOP 1992
  • Computer Science
  • In this paper, a number of existing solutions and suggestions towards combining the object-oriented (OO) and logic programming paradigms have been briefly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system. 
    8 Citations

    Topics from this paper

    Mutable Object State for Object-Oriented Logic Programming: A Survey
    • 18
    • PDF
    Language and Architecture Paradigms as Object Classes
    • 6
    • PDF
    Adding Logic Programming Behaviour to the World Wide Web
    • 12
    • PDF
    Specifying coalgebras with modal logic
    • A. Kurz
    • Computer Science, Mathematics
    • Theor. Comput. Sci.
    • 2001
    • 34
    A Modular Logic Approach for P2P Networks: A Deductive Object Oriented Framework for P2P Networks
    • 1

    References

    SHOWING 1-10 OF 55 REFERENCES
    Combining logic- and object-oriented programming language paradigms
    • L. Leonardi, P. Mello
    • Computer Science
    • [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track
    • 1988
    • 7
    An Experience with a Prolog-based Object-Oriented Language
    • 41
    An experience with a Prolog-based object-oriented language
    • 47
    Syntactic and Semantic Inheritance in Logic Programming
    • 13
    Merging Objects and Logic Programming: Relational Semantics
    • 53
    • PDF
    KSL/Logic: integration of logic with objects
    • 13
    An integration of logic and object-oriented programming
    • 14
    The constraint-based paradigm: integrating object-oriented and rule-based programming
    • 3
    • PDF
    Propositional Logic Programming and Priz System
    • 23