Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications

Umeda, Masanobu; Katamine, Keiichi; Nagasawa, Isao; Hashimoto, Masaaki; Takata, Osamu

doi:10.1007/11963578_16

Cited by 3 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The supporting environment has been developed on top of an integrated development environment called Inside Prolog [8]. Inside Prolog provides standard Prolog functionality, conforming to ISO/IEC 13211-1 [9], and also a large variety of Application Programming Interfaces (APIs) that are essential for practical application development and multi-thread capability for enterprise use [10].…”

Section: Introductionmentioning

confidence: 99%

Translating Nondeterministic Functional Language Based on Attribute Grammars into Java

Umeda

Naruse²,

Sone³

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Knowledge-based systems are suitable for realizing advanced functions that require domain-specific expert knowledge, while knowledge representation languages and their supporting environments are essential for realizing such systems. Although Prolog is useful and effective in realizing such a supporting environment, the language interoperability with other implementation languages, such as Java, is often an important issue in practical application development. This paper describes the techniques for translating a knowledge representation language that is a nondeterministic functional language based on attribute grammars into Java. The translation is based on binarization and the techniques proposed for Prolog to Java translation although the semantics are different from those of Prolog. A continuation unit is introduced to handle continuation efficiently, while the variable and register management on backtracking is simplified by using the single and unidirectional assignment features of variables. An experimental translator written in the language itself successfully generates Java code, while experimental results show that the generated code is over 25 times faster than that of Prolog Cafe for nondeterministic programs, and over 2 times faster for deterministic programs. The generated code is also over 2 times faster than B-Prolog for nondeterministic programs.

show abstract

Section: Introductionmentioning

confidence: 99%