|
|
|
| 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 レファレンスマニュアル
>
user
|
user
|
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.
組み込み入/出力述語を使う場合、標準入/出力ストリ−ム（通常は端末のキ−ボ−ドと画面）の同義語です。これらのストリ−ムは閉じることはできません。
[user]
[-user]
この述語は、インタプリタを端末から直接打ち込まれた節を読み込む（コンサルト/リコンサルトする）状態にします。プロンプトはバ−'｜'です。ユ−ザモ−ドを出るには、end_of_file.と入力して下さい。それからプロンプトで改行して下さい。
構文エラ−は、"user"がドット"."と＜改行＞で、入力を終了するとすぐに検出されます。指令（":-"）の入力は許されています。それは".＜改行＞"で入力が終わるとすぐに実行されます。
[-user]は、入力された節がリコンサルトされるという点を除いて[user]と同じです。
[user]で節をアサ−トすることは、述語assertのどれかを使う場合よりも便利です。このマニュアルには、多くの使用例が紹介されています。例えばスパイポイントをアサ−トする際、この方法は便利です。
?- [user].
｜ :- write(hello)),nl.
"stdin", line 2, column 16, :in/postfix operator or
end of term expected
｜ :- write(hello),nl.
hello
｜ nl_write(T) :- write('\n**'),write(T),write('**\n').
｜ end_of_file.
consult: file stdin consulted in 160 sec.
yes.
?- nl_write(stars).
**
stars**
yes
?- _
|
| read on...
|
|
|
|
