移動
次へ
前へ
上へ
最上
詳細
atom_chars/2
atom_codes/2
atom_concat/3
atom_concat/2
atom_length/2
atom_number/2
atom_lower/2
atom_upper/2
char_code/2
number_chars/2
number_codes/2
parse_atom/2/3
sub_atom/5
write_atom/2
writeq_atom/2
参考
算術比較
算術式評価
アトム項処理
文書処理と正規表現
黒板
バイナリ入出力
文字入出力
制約処理
Compilation
節の生成と削除
節の検索と情報
グローバル変数
文法規則
リスト
論理と制御
全解
配布されたMinervaプロセス間の通信
ストリームの選択と制御
サーブレット
項の比較
項の生成と分解
項の入出力
項の単一化
項ベクター
項ストリーム
XML (eXtended Markup Language) 項へのサポート
非同期タイマー処理へのサポート
型検査
イフコンピュータ
>
MINERVA
>
マニュアル
>
レファレンス
>
述語
> アトム項処理
アトム項処理
続く..
atom_chars/2
アトムと1文字アトムのリストの関係を定義する。...
atom_codes/2
アトムと1文字アトムのコ−ドのリストの関係を定義する。...
atom_concat/3
アトムを連結、または分割する。...
atom_concat/2
アトムにアトムと数のリストを連結します。...
atom_length/2
アトムの文字数を単一化する。...
atom_number/2
アトムと数の関係を定義する。...
atom_lower/2
atom_upper/2
char_code/2
文字から文字コード、逆に文字コードから文字を得る。...
number_chars/2
数とその数をつくっている、1文字アトムのリストを関係づける。...
number_codes/2
数と、その数をつくっている1文字アトムのコードを関係づける。...
parse_atom/2/3
MINERVA項としてのアトムの文字を解析して、変数に関する情報を読み出します。...
sub_atom/5
バックトラックによって、アトムの全ての部分列で、もう一つのアトムを単一化する。...
write_atom/2
項を文字列に書きます。...
writeq_atom/2
文字列に項を書きます。...
MINERVA
Expert Services on the Web
言語
English
Japanese
サーバー
USA
Japan
サイトマップ
索引
目次
全体目次
全体索引
印刷向き
imode
PDA
探索
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/home_jp.html
published 2008/7/21 update 2003/7/8 (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
冒頭へ