LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java

Authors:
Sergio Castro;Kim Mens;Paulo Moura
Affiliations:
Université catholique de Louvain, Belgium;Université catholique de Louvain, Belgium;University of Beira Interior & CRACS, INESC--TEC, Portugal
Venue:
Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution
Year:
2012

Citing 8
Cited 0

Simply logical: intelligent reasoning by example

Simply logical: intelligent reasoning by example
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Load-Time Structural Reflection in Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis

Proceedings of the 2004 ACM symposium on Applied computing
Open Unification for Program Query Languages

SCCC '07 Proceedings of the XXVI International Conference of the Chilean Society of Computer Science
Integrating Java and Prolog through generic methods and type inference

Proceedings of the 2008 ACM symposium on Applied computing
Inter-language reflection: A conceptual model and its implementation

Computer Languages, Systems and Structures
Programming patterns for logtalk parametric objects

INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management

Quantified Score

Hi-index	0.00

Visualization

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.