Integrating Java and Prolog through generic methods and type inference (original) (raw)
Related papers
Integrating Java and Prolog using Java 5.0 generics and annotations
2007
PPI - A portable prolog interface for java
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
Lecture Notes in Computer Science, 2001
Customisable handling of java references in prolog programs
LogicObjects: A linguistic symbiosis approach to bring the declarative power of prolog to java
RAM-SE'12 - 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, 2012
Multi-Paradigm Java-Prolog Integration In TuProlog
Science of Computer Programming, 2005
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
Lecture Notes in Computer Science, 2004
CAPJA- A connector architecture for PROLOG and JAVA
A polymorphic type system for prolog
Artificial Intelligence, 1984
Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects
Lecture Notes in Computer Science, 2000
Type analysis of prolog using type graphs
Journal of Logic Programming, 1995
A Gradual Polymorphic Type System with Subtyping for Prolog
Technical Communications of the 28th International Conference on Logic Programming (ICLP’12)
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System
1991
Parametric Polymorphism for Typed Prolog and lambdaProlog
1997
tuProlog: Making Prolog Ubiquitous
The Design and Implementation of an Object-Oriented Prolog Engine
Automatic Integration of Hybrid Java-Prolog Entities with LogicObjects
Parametric polymorphism for typed Prolog and λProlog
Lecture Notes in Computer Science, 1996
A proposal for an interchange abstract syntax for (parallel) Prolog
A Hitchhiker's Guide to Reinventing a Prolog Machine
International Conference on Logic Programming, 2018
Modules and signature declarations for A-Prolog: Progress report
Type Inference for Mobile Ambients in Prolog
Electronic Notes in Theoretical Computer Science, 2004
On the Implementation of GNU Prolog
2010
Experimental evaluation of a generic abstract interpretation algorithm for Prolog
2003
Prolog-the language and its implementation compared with Lisp
1977
O'CIAO an object oriented programming model using CIAO Prolog