Location : Home > Languages > Perl > Package Title : Language::Prolog::SWI

名称

　Language::Prolog::SWI - Perl extension for SWI-Prolog への Perl 拡張（オブジェクト指向インタフェース）

概要

use Language::Prolog::SWI::base;

# エンジンを生成（初期化）
my $e = new Language::Prolog::SWI::PlEngine();

#知識を追加
Language::Prolog::SWI::PlCall ("assert(islocatedin(bonduni,robina))");
Language::Prolog::SWI::PlCall ("assert(islocatedin(robina,goldcoast))");
Language::Prolog::SWI::PlCall ("assert(islocatedin(goldcoast,qld))");
Language::Prolog::SWI::PlCall ("assert((islocatedin2(X,Z):-islocatedin(X,Z)))");
Language::Prolog::SWI::PlCall ("assert((islocatedin2(X,Z):-islocatedin(X,Y),islocatedin2(Y,Z)))");

# 項をバインド；ただし残りの１つではない
my $t1 = new Language::Prolog::SWI::PlTerm ("bonduni");
my $t2 = new Language::Prolog::SWI::PlTerm ();

# 項ベクトルを生成
my $av = new Language::Prolog::SWI::PlTermv ($t1, $t2);
my $q  = new Language::Prolog::SWI::PlQuery ("islocatedin2", $av);
$q->DISOWN(); # 下記注釈を見よ

# 全解にわたって繰り返し
while ($q->next_solution) {
   warn "match ".$t1->toString." ".$t2->toString;
}

説明

　本パッケージは http://www.swi-prolog.org/packages/pl2cpp.html で書かれた SWI-Prolog CPP API へのラッパであり、以下の例外を除くクラスの実装である。

• 演算子 PlAtom::const char *(void) は toString に変更
• 演算子 PlAtom::== は eq に変更
• 演算子 PlTerm::const char *(void) は toString に変更
• 演算子 PlTerm::(long|int|double) は省略

注釈

　C から Perl に変換されたパッケージが通常持つ問題にメモリ・アロケーションがある。これについては http://www.swig.org/Doc1.3/Perl5.html#n41 に詳しい説明がある。
　本パッケージのユーザにとっては、これはいくつかのコンストラクタについてオブジェクト自身を削除しようとしてはならないということをラッパクラスに知らせるために DISOWN メソッド を呼び出さねばならないということを意味する。これは実装時に見ることで決定される時に発生する。申し訳ない。
　もしセグメンテーション・フォールトにつきまとわれるなら明らかにアロケーションのバグがある。

インストール

　README ファイルを見よ。

著者

　Robert Barta, <rho@bond.edu.au>

参考資料

　Perl

Updated : 2007/09/26