PrologからJavaへのトランスレータ処理系とその応用 A Prolog to Java Translator System and its Application

この論文をさがす

抄録

本論文では,PrologからJavaへのトランスレータ処理系Prolog Cafeについて述べる.本システムでは,Prologプログラムは,WAMを介して,Javaプログラムに変換され,既存のJava処理系を用いてコンパイル・実行される.つまりProlog Cafeでは,項,述語などPrologの構成要素のすべてがJavaに変換される.このため,PrologCafeはJavaとの連携,拡張性に優れたProlog処理系となっている.Prolog Cafeはマルチスレッドによる並列実行をサポートしており,スレッド間の通信は共有Javaオブジェクトにより実現される.また任意のJavaオブジェクトをPrologの項として取り扱う機能を有しており,Prologからメソッド呼び出し,フィールドへのアクセスも行える.最後にProlog Cafeの応用として,複数SATソルバの並列実行システムMultisatについて述べる.We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seems to be conceptually an independent Prolog evaluator and commumicates with each other through shared Java objects. From the Java side, the translated code of Prolog Cafe can be easily embedded into Java applications such as Applets and Servlets. From the Prolog side, any Java object can be represented as a Prolog term, and its methods and fields can be exploited from Prolog. We also give a brief introduction to the Multisat system, a parallel execution system of SAT solvers, as an application of Prolog Cafe.

We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. 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. From the Java side, the translated code of Prolog Cafe can be easily embedded into Java applications such as Applets and Servlets. From the Prolog side, any Java object can be represented as a Prolog term, and its methods and fields can be exploited from Prolog. We also give a brief introduction to the Multisat system, a parallel execution system of SAT solvers, as an application of Prolog Cafe.

収録刊行物

  • コンピュータソフトウェア = Computer software

    コンピュータソフトウェア = Computer software 24(3), 75-86, 2007-07-26

    Japan Society for Software Science and Technology

参考文献:  26件中 1-26件 を表示

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    110006366612
  • NII書誌ID(NCID)
    AN10075819
  • 本文言語コード
    JPN
  • 資料種別
    Journal Article
  • ISSN
    02896540
  • NDL 記事登録ID
    8903958
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-1033
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IR  J-STAGE 
ページトップへ