Pluto: an object-oriented logic programming language

The object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-level procedural ones that are hard to program and debug. Logic programming allows computing problems to be expressed in a high-level declarative way, without giving instructions on how the problem is to be solved. However, logic programming lacks powerful methods to model applications. In the past few decades, the integration of object-oriented programming and logic programming has attracted a lot of interest, with a number of languages being proposed, but these languages fail to address some key object-oriented features properly. In this paper, we introduce a novel object-oriented logic programming language that supports nearly all key object-oriented features in a logic programming framework. We also describe its operational semantics