目次: 述語

• 算術比較 1998/8/5
  • =:=/2, =\=/2, >/2, >=/2, </2, =</2 1998/8/5
• 算術式評価 2003/2/26
  • for/3 1997/6/22
  • is/2 2003/2/26
• アトム項処理 2003/7/8
  • atom_chars/2 1998/8/11
  • atom_codes/2 1998/8/5
  • atom_concat/3 1997/6/22
  • atom_concat/2 2002/5/22
  • ....他 11 項目 ....
• 文書処理と正規表現 2002/7/4
  • match/2/3 1999/5/10
  • match_all/3 1999/5/10
  • substitute/4 1999/5/10
  • substitute_all/4 2002/7/4
  • ....他 3 項目 ....
• 黒板 2002/3/19
  • bb_clear/1 2001/2/7
  • bb_clear/2 2001/2/7
  • bb_contains/2 2001/2/7
  • bb_contains_key/2 2001/2/7
  • ....他 9 項目 ....
• バイナリ入出力 1999/5/10
• 文字入出力 2001/8/28
  • get_char/1/2 2001/8/28
  • get_code/1/2 2001/8/28
  • nl/0/1 1997/6/22
  • peek_char/1/2 2001/8/28
  • ....他 3 項目 ....
• 制約処理 2002/3/19
  • co_add/2 2002/3/19
  • co_get/2 2002/3/19
  • co_merge/2 2002/3/19
  • co_check/2 2002/3/19
• Compilation 2004/1/12
  • compile/1/3 2004/1/12
• 節の生成と削除 2004/1/12
  • abolish/1 2003/2/26
  • asserta/1 2003/2/26
  • assertz/1 2003/2/26
  • collect/3 2003/2/26
  • ....他 5 項目 ....
• 節の検索と情報 2003/2/26
  • clause/2 2002/3/19
  • current_predicate/1 2003/2/26
• グローバル変数 2003/2/13
  • current_global/1 1997/6/22
  • get_global/2 2003/2/13
  • set_global/2 1998/8/6
• 文法規則 1998/8/11
  • expand_term/2 1998/8/11
  • phrase/2 1997/6/22
• リスト 2001/2/7
  • append/3 2001/2/7
  • member/2 2001/2/7
  • reverse/2/3 2001/2/7
  • sort/2 2001/2/7
  • merge_sort/2 2001/2/7
• 論理と制御 2003/2/28
  • abort/0 2001/2/7
  • ::(Apply)/2 2003/2/28
  • break 2001/2/7
  • call/1 2001/2/7
  • ....他 15 項目 ....
• 全解 1998/8/5
  • bagof/3 1998/8/5
  • findall/3 1998/8/5
  • setof/3 1998/8/5
• 配布されたMinervaプロセス間の通信 2002/3/19
  • client_start/3 2002/3/19
  • client_stop/1 2002/3/19
  • listener_start/3 2002/3/19
  • listener_stop/3 2002/3/19
  • ....他 4 項目 ....
• ストリームの選択と制御 2002/3/18
  • at_end_of_stream/0/1 1998/8/7
  • close/1 1998/8/11
  • current_error/1 1997/6/22
  • current_input/1 1997/6/22
  • ....他 6 項目 ....
• サーブレット 2003/4/1
• 項の比較 1998/8/7
  • ==/2, \==/2, @</2, @=</2, @>/2, @>=/2 1998/8/7
• 項の生成と分解 1998/8/11
  • arg/3 1998/8/11
  • copy_term/2 1998/8/7
  • functor/3 1998/8/7
  • =../2 1998/8/11
• 項の入出力 2002/2/5
  • current_op/3 1998/8/11
  • op/3 1998/8/7
  • print/1/2 1999/11/29
  • println/1/2 1998/8/7
  • ....他 6 項目 ....
• 項の単一化 1998/8/7
  • \=/2 1998/8/7
  • =/2 1998/8/7
  • unifiy_with_occurs_check/2 1998/8/7
• 項ベクター 2003/1/23
  • tv_add/2 2002/3/19
  • tv_create/1 2002/3/19
  • tv_get/3 2003/1/23
  • tv_list/2 2002/3/19
  • ....他 3 項目 ....
• 項ストリーム 2002/3/20
  • read_binary_term/2 2001/11/1
  • write_binary_term/2 2001/11/1
• XML (eXtended Markup Language) 項へのサポート 2001/12/14
  • read_xml/2/3 2001/12/14
  • write_xml/1/2 2001/12/14
  • term2xml/3 2001/12/14
  • term2xmldoc/3 2001/12/14
  • ....他 2 項目 ....
• 非同期タイマー処理へのサポート 2002/3/20
  • timer_close/1 2001/5/17
  • timer_create/2 2001/5/17
  • timer_is_active/1 2001/5/17
  • timer_start/2 2001/5/17
  • timer_stop/1 2001/5/17
• 型検査 1998/8/7
  • atom/1 1997/6/22
  • atomic/1 1997/6/22
  • compound/1 1997/6/22
  • float/1 1998/8/7
  • ....他 4 項目 ....