|
|
|
| See also |
|
バージョン3から4への移行
|
|
イントロダクション
|
|
abolish
|
|
abort
|
|
# append
|
|
arg
|
|
計算式(arithmetic)
|
|
アリティ(arity)
|
|
ASCII文字
|
|
assert
|
|
asserta_term, asserto_term, assertz_term
|
|
atom, atomic_length
|
|
\(バックスラッシュ)
|
|
#bagof, #setof
|
|
block, exit_block, cut_block
|
|
break
|
|
bye
|
|
call, execute
|
|
文字セット, char_code
|
|
#clause, #clause_term
|
|
clear_eol, clear_eos, clear_screen
|
|
close
|
|
コメント
|
|
compare
|
|
項の比較
|
|
値の比較
|
|
compiles
|
|
concat
|
|
連言(conjunction)
|
|
consult
|
|
コントロールスタック(control stack)
|
|
データの型変換(conversion)
|
|
copy_term
|
|
correct
|
|
cpu時間
|
|
#current_predicate, #current_atom, current_language
|
|
!(カット)
|
|
データベース(database)
|
|
debug, nodebug, debug_goal
|
|
debug_mode
|
|
decompcons
|
|
指令(directives)
|
|
選言(disjunction)
|
|
display
|
|
編集(edit)
|
|
終了(end)
|
|
end_of_file文字
|
|
equiv_char, image_length, byte_length
|
|
例外処理(exceptions)
|
|
error_protect, exception, exception_handler
|
|
exists
|
|
exit
|
|
expand_term, phrase(+ゴール,?リスト)
|
|
?- export, ?- common, ?- import, ?-hidden
|
|
事実(fact)
|
|
fail
|
|
filepos, files, flush, reset_streams
|
|
findall
|
|
float_format
|
|
# for
|
|
functor
|
|
gc
|
|
get, get0, get_until
|
|
getchar
|
|
getenv, get_home, get_last, move_cursor
|
|
get_global, # global_variable
|
|
ゴール(goal)
|
|
文法規則(grammar rules)
|
|
リストの先頭(head of list)
|
|
節のヘッド(head of clause)
|
|
help
|
|
ifprolog
|
|
ifsem
|
|
include
|
|
index
|
|
入力ストリーム(input stream)
|
|
インタプリタレベル(interpreter level)
|
|
is
|
|
length, #reverse
|
|
list_mode, listing
|
|
リスト(lists)
|
|
load, loaded
|
|
localtime
|
|
ループ(loops)
|
|
lower_upper, national_letters
|
|
make_atom, make_number
|
|
match, # match
|
|
# member
|
|
modify_mode
|
|
?- module, ?- module_body
|
|
name
|
|
nl
|
|
:- nonotify, nonotify
|
|
not
|
|
number
|
|
once
|
|
オペレータ(operator)
|
|
op, # current_op
|
|
outpos, outtab
|
|
出力ストリーム(output stream)
|
|
program_parameters, system_parameters, user_parameters
|
|
parse_atom
|
|
parse_position
|
|
predicate, predicate_mode
|
|
predicate_type
|
|
print
|
|
手続き(procedure)
|
|
program
|
|
# prolog_flag
|
|
prolog_library
|
|
prolog_system, prolog_version, proroot
|
|
put
|
|
put_byte, get_byte
|
|
raise_error
|
|
read, read_term
|
|
read_error, report_read_error
|
|
reconsult(+ファイル名)
|
|
# repeat
|
|
#retract
|
|
retractop
|
|
save_system, save_module
|
|
see, seeing, seen
|
|
set_global
|
|
set_home, setoutpos, setupterm
|
|
signal, signal_handler, alarm
|
|
skip
|
|
sort, keysort
|
|
spy
|
|
dbsize, ssize, gused, dbused, tused, lused
|
|
statistics
|
|
open, close, stream_control, #current_stream, link_stream
|
|
文字列(strings)
|
|
複合項(structures)
|
|
subatomic
|
|
sum, inc
|
|
symbol
|
|
計算式の構文(syntax of arithmetic expression)
|
|
構文チェッカー(syntax checker)
|
|
syntax_error
|
|
項の構文 (Syntax of terms)
|
|
system
|
|
system_date, system_time
|
|
system_predicate
|
|
tab
|
|
tell, telling, told
|
|
項(term)
|
|
X is time
|
|
trace, notrace, trace_mode, trace_goal
|
|
trace, tracing, traced
|
|
トレイル(trail)
|
|
true
|
|
tty_size
|
|
type_of, atom, nonvar, atomic, numeric, digit, realn, integer, struct, letter, var
|
|
未定義の述語(undefined_predicate)
|
|
?項1 = ?項2, +項1 \= +項2
|
|
?複合項 =.. -Univリスト, -複合項 =.. ?Univリスト
|
|
unload
|
|
unset_global
|
|
user
|
|
変数(variables)
|
|
write
|
|
|
|
IF Computer
>
IF/Prolog
>
Manuals
>
IF/Prolog V4.1 マニュアル
>
IF/Prolog V4.1 レファレンスマニュアル
>
ASCII文字
|
ASCII文字
|
MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
| 0 -NUL| 1 -SOH| 2 -STX| 3 -ETX|
| 4 -EOT| 5 -ENQ| 6 -ACK| 7 -BEL|
| 8 -BS | 9 -HT | 10 -LF | 11 -VT |
| 12 -FF | 13 -CR | 14 -SO | 15 -SI |
| 16 -DLE| 17 -DC1| 18 -DC2| 19 -DC3|
| 20 -DC4| 21 -NAK| 22 -SYN| 23 -ETB|
| 24 -CAN| 25 -EM | 26 -SUB| 27 -ESC|
| 28 -FS | 29 -GS | 30 -RS | 31 -US |
| 32 -SP | 33 - ! | 34 - " | 35 - # |
| 36 - $ | 37 - % | 38 - & | 39 - ' |
| 40 - ( | 41 - ) | 42 - * | 43 - + |
| 44 - , | 45 - - | 46 - . | 47 - / |
| 48 - 0 | 49 - 1 | 50 - 2 | 51 - 3 |
| 52 - 4 | 53 - 5 | 54 - 6 | 55 - 7 |
| 56 - 8 | 57 - 9 | 58 - : | 59 - ; |
| 60 - < | 61 - = | 62 - > | 63 - ? |
| 64 - @ | 65 - A | 66 - B | 67 - C |
| 68 - D | 69 - E | 70 - F | 71 - G |
| 72 - H | 73 - I | 74 - J | 75 - K |
| 76 - L | 77 - M | 78 - N | 79 - O |
| 80 - P | 81 - Q | 82 - R | 83 - S |
| 84 - T | 85 - U | 86 - V | 87 - W |
| 88 - X | 89 - Y | 90 - Z | 91 - [ |
| 92 - \ | 93 - ] | 94 - ^ | 95 - _ |
| 96 - ` | 97 - a | 98 - b | 99 - c |
| 100 - d | 101 - e | 102 - f | 103 - g |
| 104 - h | 105 - i | 106 - j | 107 - k |
| 108 - l | 109 - m | 110 - n | 111 - o |
| 112 - p | 113 - q | 114 - r | 115 - s |
| 116 - t | 117 - u | 118 - v | 119 - w |
| 120 - x | 121 - y | 122 - z | 123 - { |
| 124 - | | 125 - } | 126 - ~ | 127 -DEL|
|
| read on...
|
|
|
|
