Article

Prolog Cafe: a prolog to java translator system

Authors:

Mutsunori Banbara,

Naoyuki Tamura,

Katsumi InoueAuthors Info & Claims

INAP'05: Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management

Pages 1 - 11

https://doi.org/10.1007/11963578_1

Published: 22 October 2005 Publication History

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.

References

[1]

Aït-Kaci, H.: Warren's Abstract Machine. MIT Press (1991)

[2]

Warren, D.H.D.: An abstract Prolog instruction set. Technical Report Technical Note 309, SRI International, Menlo Park, CA (1983)

[3]

Codognet, P., Diaz, D.: WAMCC: Compiling Prolog to C. In Sterling, L., ed.: Proceedings of International Conference on Logic Programming, The MIT Press (1995) 317-331

[4]

Banbara, M., Tamura, N.: Translating a linear logic programming language into Java. In: Proceedings of the ICLP'99Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. (1999) 19-39

[5]

Cook, J.J.: P#: a concurrent prolog for the .net framework. Software: Practice and Experience 34 (2004) 815-845

[6]

Inoue, K., Sasaura, Y., Soh, T., Ueda, S.: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics (2006)

[7]

Kawamura, T., Kinoshita, S., Sugahara, K.: Implementation of a mobile agent framework on java environment. In Gonzalez, T., ed.: Proceedings of the IASTED International Conference Parallel and Distributed Computing and Systems. (2004) 589-593 MIT, Cambridge, USA.

[8]

Barbosa, J.L.V., Yamin, A.C., Augustin, I., Vargas, P.K., Geyer, C.F.R.: Holoparadigm: a multiparadigm model oriented to development of distributed systems. In: Proceedings of the International Conference on Parallel and Distributed Systems (ICPADS 2002). (2002) 6 pages

[9]

Wohlstadter, E., Jackson, S., Devanbu, P.T.: Generating wrappers for command line programs: The cal-aggie wrap-o-matic project. In: Proceedings of International Conference on Software Engineering. (2001) 243-252

[10]

Demoen, B., Tarau, P.: jProlog home page (1996) http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/.

[11]

Tarau, P., Boyer, M.: Elementary Logic Programs. In: Proceedings of Programming Language Implementation and Logic Programming. Number 456 in Lecture Notes in Computer Science, Springer (1990) 159-173

[12]

Banbara, M., Tamura, N.: Java implementation of a linear logic programming language. In: Proceedings of the 10th Exhibition and Symposium on Industrial Applications of Prolog. (1997) 56-63

[13]

Carro, M., Hermenegildo, M.V.: Concurrency in prolog using threads and a shared database. In Schreye, D.D., ed.: Proceedings of the 15th International Conference on Logic Programming (ICLP'99). (1999) 320-334

[14]

Tarau, P.: Jinni: a lightweight java-based logic engine for internet programming. In Sagonas, K., ed.: Proceedings of JICSLP'98 Implementation of LP languages Workshop. (1998) invited talk.

[15]

Li, C.M., Anbulagan: Heuristics based on unit propagation for satisfyability problems. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997). (1997) 366-371

[16]

B.Selman, H.Kautz, B.Cohen: Local search strategies for satisfiability testing. In D.S.Johnson, M, A., eds.: Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society (1996) 521-531

[17]

Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: Proceedings of the 38th Design Automation Conference (DAC 2001), ACM (2001) 530-535

[18]

Hoos, H.H., Stutzle, T.: SATLIB: An online resource for research on sat. In I.P.Gent, H.v.Maaren, T., ed.: SAT 2000. IOS Press (2000) 283-292 http://www.satlib.org/.

[19]

Kautz, H., Selman, B.: Unifying sat-based and graph-based planning. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence. (1999) 318-325

[20]

M.R.Garey, D.S.Johnson, R.Sethi: The complexity of flowshop and jobshop scheduling. Mathematics Operation Research 1 (1976) 117-129

[21]

IF Computer: MINERVA home page (1996) http://www.ifcomputer.com/ MINERVA/.

[22]

Winikoff, M.: W-Prolog home page. http://goanna.cs.rmit.edu.au/~winikoff/ wp/ (1996)

Cited By

Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539261
Tarau P(2011)Integrated symbol table, engine and heap memory management in multi-engine prologACM SIGPLAN Notices10.1145/2076022.199349746:11(129-138)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/2076022.1993497
Tarau PBoehm HBacon D(2011)Integrated symbol table, engine and heap memory management in multi-engine prologProceedings of the international symposium on Memory management10.1145/1993478.1993497(129-138)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/1993478.1993497
Show More Cited By

Index Terms

Prolog Cafe: a prolog to java translator system
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Index terms have been assigned to the content through auto-classification.

Recommendations

Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...
Concurrent PROLOG: Collected Papers
A plea for readable pleas for a readable Prolog programming style

Writing a plea for a readable Prolog programming style is not like writing most pleas. In writing a plea for a readable Prolog programming style in particular, one could possibly bring forth many results. This means that special care must be taken when ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

INAP'05: Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management

October 2005

228 pages

ISBN:3540692339

Editors:
Masanobu Umeda
Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan
,
Armin Wolf
Graduate School of Computer Science and Systems Engineering, Fraunhofer FIRST, Kekuléstr. 7, Berlin, Fukuoka, Germany
,
Oskar Bartenstein
Graduate School of Computer Science and Systems Engineering, IF Computer Japan, 5-28-2 Sendagi, Bunkyo-ku, Tokyo, Fukuoka, Japan
,
Ulrich Geske
Graduate School of Computer Science and Systems Engineering, Fraunhofer FIRST, 5-28-2 Sendagi, Bunkyo-ku, Berlin, Fukuoka
,
Dietmar Seipel
Graduate School of Computer Science and Systems Engineering, Universität Würzburg, Am Hubland, 5-28-2 Sendagi, Bunkyo-ku, Würzburg, Fukuoka, Germany

Sponsors

IF Computer: IF Computer
Waseda University: Waseda University

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 22 October 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539261
Tarau P(2011)Integrated symbol table, engine and heap memory management in multi-engine prologACM SIGPLAN Notices10.1145/2076022.199349746:11(129-138)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/2076022.1993497
Tarau PBoehm HBacon D(2011)Integrated symbol table, engine and heap memory management in multi-engine prologProceedings of the international symposium on Memory management10.1145/1993478.1993497(129-138)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/1993478.1993497
Bolz CLeuschel MSchneider DKutsia TSchreiner WFernández M(2010)Towards a jitting VM for prolog executionProceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming10.1145/1836089.1836102(99-108)Online publication date: 26-Jul-2010
https://dl.acm.org/doi/10.1145/1836089.1836102
Inoue KSoh TUeda SSasaura YBanbara MTamura N(2006)A competitive and cooperative approach to propositional satisfiabilityDiscrete Applied Mathematics10.1016/j.dam.2006.04.015154:16(2291-2306)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1016/j.dam.2006.04.015

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents