首页    期刊浏览 2024年09月20日 星期五
登录注册

文章基本信息

  • 标题:PrologからJavaへのトランスレータ処理系とその応用
  • 本地全文:下载
  • 作者:番原 睦則 ; 田村 直之 ; 井上 克已
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2007
  • 卷号:24
  • 期号:3
  • 页码:3_75-3_86
  • DOI:10.11309/jssst.24.3_75
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    本論文では,PrologからJavaへのトランスレータ処理系Prolog Cafeについて述べる.本システムでは,Prologプログラムは,WAMを介して,Javaプログラムに変換され,既存のJava処理系を用いてコンパイル・実行される.つまりProlog Cafeでは,項,述語などPrologの構成要素のすべてがJavaに変換される.このため,Prolog CafeはJavaとの連携,拡張性に優れたProlog処理系となっている.Prolog Cafeはマルチスレッドによる並列実行をサポートしており,スレッド間の通信は共有Javaオブジェクトにより実現される.また任意のJavaオブジェクトをPrologの項として取り扱う機能を有しており,Prologからメソッド呼び出し,フィールドへのアクセスも行える.最後にProlog Cafeの応用として,複数SATソルバの並列実行システムMultisatについて述べる.

国家哲学社会科学文献中心版权所有