A Linguistic Symbiosis Approach to Bring the Declarative Power of Prolog to Java

Sergio Castro, Kim Mens and Paulo Moura

June 2012

---

Abstract

Logic programming is well suited for declaratively solving computational problems that require knowledge representation and reasoning. Object-oriented languages, on the other hand, are well suited for modeling real-world concepts and profit from rich ecosystems developed around them, which are often missing from logic languages. For applications that require both the declarative power of logic programming and the rich modeling expressiveness and development environments offered by object-oriented languages, there is a need for reconciling both worlds. LogicObjects is our linguistic symbiosis framework for integrating Prolog within the Java language. It extends Java with annotations that allow Java programs to interact transparently and automatically with Prolog programs.

Bibtex

@InProceedings{castro-ram-se12,
  author =    {S. Castro, K. Mens and P. Moura},
  title =     {{A Linguistic Symbiosis Approach to Bring the Declarative Power of Prolog to Java}},
  booktitle = {Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and 
               Meta-Data for Software Evolution (RAM-SE 2012)},
  pages =     {11--16},
  publisher = {ACM Digital Library},
  editor =    {W. Cazzola, S. Chiba, M. Oriol and G. Saake},
  month =     {June},
  year =      {2012},
  address =   {Beijing, China},
}

Download Paper

PDF file
ACM Digital Library