research-article

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

Authors:

Paulo MouraAuthors Info & Claims

RAM-SE '12: Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution

Pages 11 - 16

https://doi.org/10.1145/2237887.2237890

Published: 13 June 2012 Publication History

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.

References

[1]

D. Boulanger and U. Geske. Using logic programming in java environment (extended abstract). Technical Report 10, Knowledge-Based Systems Group, Vienna University of Technology, Austria, 1998.

[2]

J. Brichau, C. De Roover, and K. Mens. Open unification for program query languages. In Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007.

Digital Library

[3]

S. Chiba. Load-time structural reflection in java. In Proceedings of the 14th European Conference on Object-Oriented Programming, ECOOP '00, pages 313--336, London, UK, UK, 2000. Springer-Verlag.

Digital Library

[4]

M. Cimadamore and M. Viroli. Integrating java and prolog through generic methods and type inference. In Proceedings of the 2008 ACM symposium on Applied computing, SAC '08, pages 198--205, New York, NY, USA, 2008. ACM.

Digital Library

[5]

M. D'Hondt. A survey of systems that integrate logic reasoning and object-oriented programming. Technical report, Vrije Universiteit Brussel, 2003.

[6]

M. D'Hondt, K. Gybels, and V. Jonckers. Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis. In Proceedings of the 2004 ACM symposium on Applied computing, SAC '04, pages 1328--1335, New York, NY, USA, 2004. ACM.

Digital Library

[7]

P. Flach. Simply logical: intelligent reasoning by example. John Wiley & Sons, Inc., New York, NY, USA, 1994.

Digital Library

[8]

C. Friedrich Bolz. Pyrolog: A prolog interpreter written in python using the pypy translator toolchain. https://bitbucket.org/cfbolz/pyrolog/.

[9]

K. Gybels. Soul and smalltalk - just married: Evolution of the interaction between a logic and an object-oriented language towards symbiosis. In Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages, 2003.

[10]

K. Gybels, R. Wuyts, S. Ducasse, and M. D'Hondt. Inter-language reflection: A conceptual model and its implementation. Comput. Lang. Syst. Struct., 32(2-3):109--124, July 2006.

Digital Library

[11]

Y. Ichisugi, S. Matsuoka, and A. Yonezawa. Rbcl: A reflective object-oriented concurrent language without a run-time kernel. In International Workshop on New Models for Software Architecture (IMSA): Reflection And Meta-Level Architecture, pages 24--35, 1992.

[12]

P. Moura. Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior, Portugal, Sept. 2003.

[13]

P. Moura. Programming patterns for logtalk parametric objects. In S. Abreu and D. Seipel, editors, Applications of Declarative Programming and Knowledge Management, volume 6547 of Lecture Notes in Artificial Intelligence, pages 52--69. Springer-Verlag, Berlin Heidelberg, Apr. 2011.

Digital Library

[14]

P. Paul Tarau. Styla: a lightweight scala-based prolog interpreter based on a pure object oriented term hierarchy. http://code.google.com/p/styla/.

[15]

S. Russel and N. P. Artificial Intelligence, A Modern Approach. Prentice Hall, 1995.

Digital Library

[16]

R. Wuyts and S. Ducasse. Symbiotic reflection between an object-oriented and a logic programming language. International Workshop on MultiParadigm Programming with Object-Oriented Languages, 2001.

Cited By

Castro SMens KMoura P(2013)LogicObjectsProceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 775210.1007/978-3-642-45284-0_3(26-42)Online publication date: 21-Jan-2013
https://dl.acm.org/doi/10.1007/978-3-642-45284-0_3
Lu YLi GJin ZXing XHao Y(2013)A Knowware Based Infrastructure for Rule Based Control Systems in Smart SpacesSafe and Secure Software Reuse10.1007/978-3-642-38977-1_20(289-294)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38977-1_20

Recommendations

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
PADL 2013: Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 7752

While object-oriented programming languages are good at modelling real-world concepts and benefit from rich libraries and developer tools, logic programming languages are well suited for declaratively solving computational problems that require ...
JPC

The number of approaches existing to enable a smooth interaction between Java and Prolog programs testifies the growing interest in solutions that combine the strengths of both languages. Most of these approaches provide limited support to allow ...
CAPJA- A connector architecture for PROLOG and JAVA
KESE'14: Proceedings of the 10th International Conference on Knowledge Engineering and Software Engineering - Volume 1289

Modern software often relies on the combination of several software modules that are developed independently. There are use cases where different software libraries from different programming languages are used, e.g., embedding DLL files in JAVA ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

RAM-SE '12: Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution

June 2012

17 pages

ISBN:9781450312776

DOI:10.1145/2237887

Editors:
Walter Cazzola
Università degli Studi di Milano, Italy
,
Shigeru Chiba
University of Tokyo, Japan
,
Manuel Oriol
University of York, UK
,
Gunter Saake
Otto-von-Guericke-Universität Magdeburg, Germany

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGSOFT: ACM Special Interest Group on Software Engineering
AITO: Assoc Internationale por les Technologies Objects

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Fundação para a Ciência e a Tecnologia
LEAP project

Conference

ECOOP'12

Sponsor:

ECOOP'12: 26th European Conference on Object-Oriented Programming

June 13, 2012

Beijing, China

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
98
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Castro SMens KMoura P(2013)LogicObjectsProceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 775210.1007/978-3-642-45284-0_3(26-42)Online publication date: 21-Jan-2013
https://dl.acm.org/doi/10.1007/978-3-642-45284-0_3
Lu YLi GJin ZXing XHao Y(2013)A Knowware Based Infrastructure for Rule Based Control Systems in Smart SpacesSafe and Secure Software Reuse10.1007/978-3-642-38977-1_20(289-294)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38977-1_20

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten