Logic Java: Combining Object-Oriented and Logic Programming

Majchrzak Tim A., Kuchen Herbert


Zusammenfassung
We have developed the programming language Logic Java which smoothly integrates the object-oriented language Java and logic programming concepts such as logic variables, constraint solving, and backtracking. It combines the advantages of object-orientation such as easy maintainability and adaptability due to inheritance and encapsulation of structure and behavior with the advantages of logic languages such as suitability for search problems. Java annotations and a symbolic Java virtual machine are used to handle the logic programming concepts. In contrast to previous approaches to integrate object-oriented and logic programming, we preserve the syntax of Java. Our language is not split into two distinguishable parts but as closely integrated as possible. Besides the design and implementation of Logic Java, providing a suitable interface between conventional and logic computations is the main contribution of this paper. A killer application, which can hardly be implemented more elegantly in any other language, is the tool Muggl which systematically generates glass-box test cases for Java programs. Applications requiring a substantial amount of search are also well suited.

Schlüsselwörter
Java, logic programming, integration of programming paradigms, constraint solving



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2011

Konferenz
International Workshop on Functional and (Constraint) Logic Programming

Konferenzort
Odense, Denmark

Buchtitel
Functional and Constraint Logic Programming - 20th International Workshop

Herausgeber
Kuchen Herbert

Erste Seite
122

Letzte Seite
137

Seiten
122-137

Band
6816

Reihe
Lecture Notes in Computer Science

Verlag
Springer

Ort
Heidelberg

Sprache
Englisch

ISBN
978-3-642-22530-7

DOI

Gesamter Text