[Next]問合わせ [Previous]事実や規則の登録 [Up]PoPの使用方法 [Top]
登録内容の照会
宣言された事実/規則を照会するためには,listingメソッドが使用できます.
正則表現patternを指定して
pop.listing(pattern)
と呼び出すと,マッチする名前を持つ使用者定義述語がPoP標準出力に出力されます.
patternを省略すると '.*' が仮定されますので,すべての使用者定義述語が表示されます.
この他にも,データベースの内容を照会するメソッドがあります.
詳細は,リファレンスを参照してください.
[Next]問合わせ [Previous]事実や規則の登録 [Up]PoPの使用方法 [Top]