節の生成と削除 /MINERVA/Manual/Reference/Predicates/clause_creat_destruct/

移動
次へ	前へ
上へ	最上

詳細

参考

算術式評価

アトム項処理

文書処理と正規表現

バイナリ入出力

文字入出力

節の生成と削除

節の検索と情報

グローバル変数

論理と制御

配布されたMinervaプロセス間の通信

ストリームの選択と制御

サーブレット

項の生成と分解

項の入出力

項の単一化

項ベクター

項ストリーム

XML (eXtended Markup Language) 項へのサポート

非同期タイマー処理へのサポート

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 節の生成と削除

節の生成と削除

続く..

abolish/1: 述語記号で同定されるすべての節を削除する。...
asserta/1: データベースに述語の最初の節として新しい節を加える。...
assertz/1: データベースに述語の最後の節として新しい節を加える。...
collect/3: 動的集合要素のすべての節を集める。...
load/1: MINERVAにファイルをロードする。...
unload/1: MINERVAからファイルをアンロードする。...
loaded/1/2: unload/1の候補を出す...
retract/1: 引数で単一化可能な節をデータベースから除く。...
retractall/1: ヘッドが引数で単一化可能なすべての節をデータベースから除く。...

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

全体目次

全体索引

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/home_jp.html
published 2008/5/19 update 2004/1/12 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	ifcj@ifcomputer.co.jp
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

managed with ubiCMS