Feature analysis of Turbo Prolog
ACM SIGPLAN Notices
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
ObjVProlog-D: a reflexive object-oriented logic language for distributed computing
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Logic and objects
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
From logic programming to Prolog
From logic programming to Prolog
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Prolog++: The Power of Object-Oriented and Logic Programming
Prolog++: The Power of Object-Oriented and Logic Programming
Java Virtual Machine Specification
Java Virtual Machine Specification
Programming Languages: Principles and Practice
Programming Languages: Principles and Practice
Solving Optimisation Problems in the Aurora Or-parallel Prolog System
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
An Object-Oriented Logic Language for Modular System Specification
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
On the implementation of Fril++ for object-oriented logic programming with uncertainty and fuzziness
Technologies for constructing intelligent systems
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An object-oriented logic programming environment for modeling
An object-oriented logic programming environment for modeling
Proceedings of the 2004 ACM symposium on Applied computing
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
20 years of industrial functional programming
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Programming Language, The (4th Edition)
Java(TM) Programming Language, The (4th Edition)
Java Generics and Collections
A Prolog-oriented extension of Java programming based on generics and annotations
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Productivity gains with Erlang
CUFP '07 Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming
Integrating Java and Prolog through generic methods and type inference
Proceedings of the 2008 ACM symposium on Applied computing
Effective Java (2nd Edition) (The Java Series)
Effective Java (2nd Edition) (The Java Series)
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The essence of the iterator pattern
Journal of Functional Programming
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Automated Test Case Generation Based on Coverage Analysis
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
A Guide to Artificial Intelligence with Visual Prolog
A Guide to Artificial Intelligence with Visual Prolog
Hi-index | 0.04 |
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.