Integrating Java and Prolog through generic methods and type inference (original) (raw)

Integrating Java and Prolog using Java 5.0 generics and annotations

Mirko Viroli

2007

View PDFchevron_right

PPI - A portable prolog interface for java

Dietmar Seipel

View PDFchevron_right

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces

Paul Tarau

Lecture Notes in Computer Science, 2001

View PDFchevron_right

Customisable handling of java references in prolog programs

Kim Mens

View PDFchevron_right

LogicObjects: A linguistic symbiosis approach to bring the declarative power of prolog to java

Kim Mens

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

View PDFchevron_right

Multi-Paradigm Java-Prolog Integration In TuProlog

Andrea Omicini

Science of Computer Programming, 2005

View PDFchevron_right

InterProlog: Towards a Declarative Embedding of Logic Programming in Java

Miguel Calejo

Lecture Notes in Computer Science, 2004

View PDFchevron_right

CAPJA- A connector architecture for PROLOG and JAVA

Dietmar Seipel

View PDFchevron_right

A polymorphic type system for prolog

Richard O'Keefe

Artificial Intelligence, 1984

View PDFchevron_right

Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects

Paul Tarau

Lecture Notes in Computer Science, 2000

View PDFchevron_right

Type analysis of prolog using type graphs

Baudouin Le Charlier

Journal of Logic Programming, 1995

View PDFchevron_right

A Gradual Polymorphic Type System with Subtyping for Prolog

Spyros Hadjichristodoulou

Technical Communications of the 28th International Conference on Logic Programming (ICLP’12)

View PDFchevron_right

Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System

Uday Reddy

1991

View PDFchevron_right

Parametric Polymorphism for Typed Prolog and lambdaProlog

Olivier Ridoux

1997

View PDFchevron_right

tuProlog: Making Prolog Ubiquitous

Enrico Denti

View PDFchevron_right

The Design and Implementation of an Object-Oriented Prolog Engine

Alex Benini

View PDFchevron_right

Automatic Integration of Hybrid Java-Prolog Entities with LogicObjects

Kim Mens

View PDFchevron_right

Parametric polymorphism for typed Prolog and λProlog

Olivier Ridoux

Lecture Notes in Computer Science, 1996

View PDFchevron_right

A proposal for an interchange abstract syntax for (parallel) Prolog

Pedro López García

View PDFchevron_right

A Hitchhiker's Guide to Reinventing a Prolog Machine

Paul Tarau

International Conference on Logic Programming, 2018

View PDFchevron_right

Modules and signature declarations for A-Prolog: Progress report

Marcello Balduccini

View PDFchevron_right

Type Inference for Mobile Ambients in Prolog

Elio Giovannetti

Electronic Notes in Theoretical Computer Science, 2004

View PDFchevron_right

On the Implementation of GNU Prolog

Salvador Abreu

2010

View PDFchevron_right

Experimental evaluation of a generic abstract interpretation algorithm for Prolog

Baudouin Le Charlier

2003

View PDFchevron_right

Prolog-the language and its implementation compared with Lisp

Luís Moniz Pereira

1977

View PDFchevron_right

A tool to check operational properties of Prolog programs with application to program construction and program optimization–Tool demonstration

Baudouin Le Charlier

View PDFchevron_right

O'CIAO an object oriented programming model using CIAO Prolog

Ángel David Flórez Pineda

View PDFchevron_right