Contents: IF/Prolog V4.1 レファレンスマニュアル
|
IF/Prolog V4.1 レファレンスマニュアル 1996/3/31
- バージョン3から4への移行 1995/11/6
- イントロダクション 1995/11/6
- abolish 1995/10/18
- abort 1995/11/6
- # append 1995/10/27
- arg 1995/10/18
- 計算式(arithmetic) 1995/11/7
- アリティ(arity) 1995/11/6
- ASCII文字 1995/11/6
- assert 1995/10/18
- asserta_term, asserto_term, assertz_term 1995/10/27
- atom, atomic_length 1995/11/6
- \(バックスラッシュ) 1995/11/6
- #bagof, #setof 1995/11/6
- block, exit_block, cut_block 1995/11/6
- break 1995/11/6
- bye 1995/11/6
- call, execute 1995/11/6
- 文字セット, char_code 1995/11/6
- #clause, #clause_term 1995/11/6
- clear_eol, clear_eos, clear_screen 1995/11/6
- close 1995/11/6
- コメント 1995/11/6
- compare 1995/11/7
- 項の比較 1995/11/7
- 値の比較 1995/11/6
- compiles 1995/11/6
- concat 1995/11/6
- 連言(conjunction) 1995/11/6
- consult 1995/11/6
- コントロールスタック(control stack) 1995/11/6
- データの型変換(conversion) 1995/11/6
- copy_term 1995/11/6
- correct 1995/11/6
- cpu時間 1995/11/6
- #current_predicate, #current_atom, current_language 1995/11/6
- !(カット) 1995/11/6
- データベース(database) 1995/11/6
- debug, nodebug, debug_goal 1995/11/7
- debug_mode 1995/11/6
- decompcons 1995/11/6
- 指令(directives) 1995/11/6
- 選言(disjunction) 1995/11/6
- display 1995/11/6
- 編集(edit) 1995/11/6
- 終了(end) 1995/11/6
- end_of_file文字 1995/11/6
- equiv_char, image_length, byte_length 1995/11/6
- 例外処理(exceptions) 1995/11/6
- error_protect, exception, exception_handler 1995/11/6
- exists 1995/11/6
- exit 1995/11/6
- expand_term, phrase(+ゴール,?リスト) 1995/11/6
- ?- export, ?- common, ?- import, ?-hidden 1995/11/6
- 事実(fact) 1995/11/6
- fail 1995/11/6
- filepos, files, flush, reset_streams 1995/11/6
- findall 1995/11/6
- float_format 1995/11/6
- # for 1995/11/6
- functor 1995/11/6
- gc 1995/11/6
- get, get0, get_until 1995/10/27
- getchar 1995/11/6
- getenv, get_home, get_last, move_cursor 1995/11/6
- get_global, # global_variable 1995/11/6
- ゴール(goal) 1995/11/6
- 文法規則(grammar rules) 1995/11/6
- リストの先頭(head of list) 1995/11/6
- 節のヘッド(head of clause) 1995/11/6
- help 1995/11/6
- ifprolog 1995/11/6
- ifsem 1995/11/6
- include 1995/11/6
- index 1995/11/6
- 入力ストリーム(input stream) 1995/11/6
- インタプリタレベル(interpreter level) 1995/11/6
- is 1995/11/6
- length, #reverse 1995/11/6
- list_mode, listing 1995/11/6
- リスト(lists) 1995/11/6
- load, loaded 1995/11/6
- localtime 1995/11/6
- ループ(loops) 1995/11/6
- lower_upper, national_letters 1996/3/31
- make_atom, make_number 1995/11/6
- match, # match 1995/11/6
- # member 1995/11/6
- modify_mode 1995/11/6
- ?- module, ?- module_body 1995/11/6
- name 1995/11/6
- nl 1995/11/6
- :- nonotify, nonotify 1995/11/6
- not 1995/11/6
- number 1995/11/6
- once 1995/11/6
- オペレータ(operator) 1995/11/6
- op, # current_op 1995/11/6
- outpos, outtab 1995/11/6
- 出力ストリーム(output stream) 1995/11/6
- program_parameters, system_parameters, user_parameters 1995/11/6
- parse_atom 1995/11/6
- parse_position 1995/11/6
- predicate, predicate_mode 1995/11/6
- predicate_type 1995/11/6
- print 1995/11/7
- 手続き(procedure) 1995/11/6
- program 1995/11/6
- # prolog_flag 1995/11/6
- prolog_library 1995/11/6
- prolog_system, prolog_version, proroot 1995/11/6
- put 1995/11/6
- put_byte, get_byte 1995/11/6
- raise_error 1995/11/6
- read, read_term 1995/11/7
- read_error, report_read_error 1995/11/6
- reconsult(+ファイル名) 1995/11/6
- # repeat 1995/11/6
- #retract 1995/11/6
- retractop 1995/11/6
- save_system, save_module 1995/11/6
- see, seeing, seen 1995/11/6
- set_global 1995/11/6
- set_home, setoutpos, setupterm 1995/11/6
- signal, signal_handler, alarm 1995/11/6
- skip 1995/11/6
- sort, keysort 1995/11/6
- spy 1995/11/6
- dbsize, ssize, gused, dbused, tused, lused 1995/11/6
- statistics 1995/11/6
- open, close, stream_control, #current_stream, link_stream 1995/11/6
- 文字列(strings) 1995/11/6
- 複合項(structures) 1995/11/6
- subatomic 1995/11/6
- sum, inc 1995/11/6
- symbol 1995/10/27
- 計算式の構文(syntax of arithmetic expression) 1995/11/7
- 構文チェッカー(syntax checker) 1995/11/6
- syntax_error 1995/11/6
- 項の構文 (Syntax of terms) 1995/11/6
- system 1995/11/6
- system_date, system_time 1995/11/6
- system_predicate 1995/11/6
- tab 1995/11/6
- tell, telling, told 1995/11/6
- 項(term) 1995/11/6
- X is time 1995/11/6
- trace, notrace, trace_mode, trace_goal 1995/10/27
- trace, tracing, traced 1995/11/6
- トレイル(trail) 1995/11/6
- true 1995/11/6
- tty_size 1995/11/6
- type_of, atom, nonvar, atomic, numeric, digit, realn, integer, struct, letter, var 1995/11/6
- 未定義の述語(undefined_predicate) 1995/11/6
- ?項1 = ?項2, +項1 \= +項2 1995/11/6
- ?複合項 =.. -Univリスト, -複合項 =.. ?Univリスト 1995/11/6
- unload 1995/11/6
- unset_global 1995/11/6
- user 1995/11/7
- 変数(variables) 1995/11/6
- write 1995/11/6
|
|
|
