Prolog Cafe: a prolog to java translator system

Authors:
Mutsunori Banbara;Naoyuki Tamura;Katsumi Inoue
Affiliations:
Information Science and Technology Center, Kobe University, Nada, Kobe, Japan;Information Science and Technology Center, Kobe University, Nada, Kobe, Japan;National Institute of Informatics, Tokyo, Japan
Venue:
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Year:
2005

Citing 9
Cited 4

Concurrency in Prolog using threads and a shared database

Proceedings of the 1999 international conference on Logic programming
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Generating wrappers for command line programs: the Cal-Aggie Wrap-O-Matic project

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Elementary Logic Programs

PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Holoparadigm: a Multiparadigm Model Oriented to Development of Distributed Systems

ICPADS '02 Proceedings of the 9th International Conference on Parallel and Distributed Systems
P#: a concurrent prolog for the .NET framework

Software—Practice & Experience
A competitive and cooperative approach to propositional satisfiability

Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Heuristics based on unit propagation for satisfiability problems

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Unifying SAT-based and graph-based planning

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1

A competitive and cooperative approach to propositional satisfiability

Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Towards a jitting VM for prolog execution

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Integrated symbol table, engine and heap memory management in multi-engine prolog

Proceedings of the international symposium on Memory management
Debugging Mobile Agent Systems

Proceedings of International Conference on Information Integration and Web-based Applications & Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the Prolog Cafe system that translates Prolog into Java via the WAM . Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seems to be conceptually an independent Prolog evaluator and communicates with each other through shared Java objects. Prolog Cafe also has the advantages of portability, extensibility, smooth interoperation with Java, and modularity. In performance, our translator generates faster code for a set of classical Prolog benchmarks than an existing Prolog-to-Java translator jProlog.