Prolog Cafe: Java上で動作するProlog処理系
田村 直之,番原 睦則
Prolog Cafe
はJavaで実装されたprologです.
論理を扱うPrologは人工知能研究の初期のころから使われてきた言語です.
また,正当性の検証や,パーサーは,論理型言語を用いると,簡潔で
容易に記述ができます.
Prolog Cafeは,このようなPrologとしての基本的な役割をこなすだけで
なく,Javaへの変換や,Javaとの連携ができます.そのため,Javaが提供す
る多様な機能と,論理型言語の長所を組み合わせることができます.



|