索引: MINERVA
|
アイコン
Installation
Manual
MINERVA
アトム項処理
Predicates
Reference
Manual
MINERVA
アプリケーションプログラムが解読されることはないでしょうか?
FAQ
MINERVA
アプレットとアプリケーションの場合では、プログラムは異なりますか?
FAQ
MINERVA
インストール
Manual
MINERVA
インストール前に....
Installation
Manual
MINERVA
ウェブサイト全体のために一つのアプレット?
FAQ
MINERVA
ウェブサイト生成・管理
Solutions
Showcase
MINERVA
ウェブサーバー
OtherResources
MINERVA
ウェブショップ
MINERVA
エラーメッセージ
Reference
Manual
MINERVA
オセロ
Applications
ExamplePrograms
MINERVA
オブジェクト
Reference
Manual
MINERVA
オブジェクト指向ですか?
FAQ
MINERVA
クライアント側ではいつ何をロードするのですか?
FAQ
MINERVA
グローバル変数
Predicates
Reference
Manual
MINERVA
コンサルタント
OtherResources
MINERVA
サーバのファイルにアクセス
MinervaFeatures
ExamplePrograms
MINERVA
サーブレット
MinervaFeatures
ExamplePrograms
MINERVA
サーブレット
Predicates
Reference
Manual
MINERVA
ショーケース
MINERVA
ジグゾーパズル
Applications
ExamplePrograms
MINERVA
スタートアップアーカイブ
MinervaFeatures
ExamplePrograms
MINERVA
ストリームの選択と制御
Predicates
Reference
Manual
MINERVA
ソケットを使ったクライアント - サーバー
MinervaFeatures
ExamplePrograms
MINERVA
ソリューション
Showcase
MINERVA
ダウンロード
MINERVA
チェーンストア管理
Solutions
Showcase
MINERVA
デバッガ
MinervaFeatures
ExamplePrograms
MINERVA
デバッガー
Reference
Manual
MINERVA
データベース-JDBC
Extensions
ExamplePrograms
MINERVA
データベースとの接続はどうなっていますか?
FAQ
MINERVA
トラブルシューティング
Installation
Manual
MINERVA
バイトの入出力
Bugs
Restrictions
Reference
Manual
MINERVA
バイナリ入出力
Predicates
Reference
Manual
MINERVA
バイナリコードとは何ですか?
FAQ
MINERVA
バグ
Restrictions
Reference
Manual
MINERVA
パッケージ
Reference
Manual
MINERVA
パッケージ: gui
GuiProgramming
Reference
Manual
MINERVA
パッケージ: guibuilder
GuiProgramming
Reference
Manual
MINERVA
パラメータの使用
MinervaFeatures
ExamplePrograms
MINERVA
ファイル名
Reference
Manual
MINERVA
ブラウザ
OtherResources
MINERVA
プラットフォーム
Overview
MINERVA
ヘルプデスク
ApplicationAreas
Overview
MINERVA
ベンチマーク
ExamplePrograms
MINERVA
マニュアル
MINERVA
マルチスレッドは使えますか?
FAQ
MINERVA
ユーザガイド
Manual
MINERVA
ライセンス形態
MINERVA
リスト
Predicates
Reference
Manual
MINERVA
リフレクション
MinervaFeatures
ExamplePrograms
MINERVA
リフレクション
MinervaToJavaInterface
Reference
Manual
MINERVA
リリースノート
Manual
MINERVA
レファレンス
Manual
MINERVA
ロボット溶接
Applications
ExamplePrograms
MINERVA
ローカルの設定
Installation
Manual
MINERVA
項の入出力
Predicates
Reference
Manual
MINERVA
項の単一化
Predicates
Reference
Manual
MINERVA
項の比較
Predicates
Reference
Manual
MINERVA
項の生成と分解
Predicates
Reference
Manual
MINERVA
項ストリーム
Predicates
Reference
Manual
MINERVA
項ベクター
Predicates
Reference
Manual
MINERVA
遠隔教育
ApplicationAreas
Overview
MINERVA
応用分野
Overview
MINERVA
音声-JSAPI
Extensions
ExamplePrograms
MINERVA
お客様の声
Showcase
MINERVA
会議
OtherResources
MINERVA
開発元はどこですか。
FAQ
MINERVA
拡張
ExamplePrograms
MINERVA
型検査
Predicates
Reference
Manual
MINERVA
関数
Reference
Manual
MINERVA
外部リンク
MINERVA
概要
MINERVA
組み込み型システムに使えますか?
FAQ
MINERVA
黒板
Predicates
Reference
Manual
MINERVA
検証
Installation
Manual
MINERVA
呼び出し
Reference
Manual
MINERVA
高度
MinervaToJavaInterface
Reference
Manual
MINERVA
顧客に応じたデザイン
ApplicationAreas
Overview
MINERVA
国際化
MinervaFeatures
ExamplePrograms
MINERVA
国際文字対応
Reference
Manual
MINERVA
碁盤
Applications
ExamplePrograms
MINERVA
参考図書
OtherResources
MINERVA
算術式評価
Predicates
Reference
Manual
MINERVA
算術計算
MinervaFeatures
ExamplePrograms
MINERVA
算術計算
Reference
Manual
MINERVA
算術比較
Predicates
Reference
Manual
MINERVA
将来のロードマップ
Overview
MINERVA
指令
MinervaFeatures
ExamplePrograms
MINERVA
指令
Reference
Manual
MINERVA
実装における制限
Restrictions
Reference
Manual
MINERVA
述語
Reference
Manual
MINERVA
制限事項
Reference
Manual
MINERVA
静的
MinervaToJavaInterface
Reference
Manual
MINERVA
性能
Overview
MINERVA
生命保険
ApplicationAreas
Overview
MINERVA
生命保険必要保険額計算
Solutions
Showcase
MINERVA
制約処理
MinervaFeatures
ExamplePrograms
MINERVA
制約処理
Predicates
Reference
Manual
MINERVA
節の検索と情報
Predicates
Reference
Manual
MINERVA
節の生成と削除
Predicates
Reference
Manual
MINERVA
税金アドバイス
ApplicationAreas
Overview
MINERVA
全解
Predicates
Reference
Manual
MINERVA
対話
MinervaFeatures
ExamplePrograms
MINERVA
知的フォーム
ApplicationAreas
Overview
MINERVA
日本語を使ってプログラムを書くことはできますか。
FAQ
MINERVA
配布されたMinervaプロセス間の通信
Predicates
Reference
Manual
MINERVA
日付
MinervaFeatures
ExamplePrograms
MINERVA
非同期タイマー処理へのサポート
Predicates
Reference
Manual
MINERVA
標準
Overview
MINERVA
複数のアプレット?
FAQ
MINERVA
文法規則
Predicates
Reference
Manual
MINERVA
文字入出力
Predicates
Reference
Manual
MINERVA
文書処理と正規表現
Predicates
Reference
Manual
MINERVA
問題報告
Manual
MINERVA
要件
FAQ
MINERVA
例題プログラム
MINERVA
論理と制御
Predicates
Reference
Manual
MINERVA
!(Cut)/0
logic_and_control
Predicates
Reference
Manual
MINERVA
','(Conjunction)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
';'(Disjunction)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
';'(If-then-else)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
'\+'/1
logic_and_control
Predicates
Reference
Manual
MINERVA
->(If-then)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
::(Apply)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
<-(Eval)/2
logic_and_control
Predicates
Reference
Manual
MINERVA
=../2
term_creat_decomp
Predicates
Reference
Manual
MINERVA
=/2
term_unification
Predicates
Reference
Manual
MINERVA
=:=/2, =\=/2, >/2, >=/2, </2, =</2
arithm_comp
Predicates
Reference
Manual
MINERVA
==/2, \==/2, @</2, @=</2, @>/2, @>=/2
term_comp
Predicates
Reference
Manual
MINERVA
ActiveXへのサポートはしていますか?
FAQ
MINERVA
AppletLoadsFile
MinervaFeatures
ExamplePrograms
MINERVA
Applications
ExamplePrograms
MINERVA
ArthurAndersen
Testimonials
Showcase
MINERVA
Brightest
Testimonials
Showcase
MINERVA
CADデータ交換およびSTEP/Express ISO-10303-21を使った処理の例
Applications
ExamplePrograms
MINERVA
CGI-BINプログラミングは必要ですか?
FAQ
MINERVA
CORBA
Extensions
ExamplePrograms
MINERVA
Calculator
Applications
ExamplePrograms
MINERVA
CircuitAnalysis
Applications
ExamplePrograms
MINERVA
Compilation
Predicates
Reference
Manual
MINERVA
ConvertGui
Applications
ExamplePrograms
MINERVA
Edutella
Testimonials
Showcase
MINERVA
Eliza
Applications
ExamplePrograms
MINERVA
ExecProcess
MinervaFeatures
ExamplePrograms
MINERVA
ExecProcess_2
MinervaFeatures
ExamplePrograms
MINERVA
FAQ
MINERVA
GUI
MinervaFeatures
ExamplePrograms
MINERVA
GUI-AWT
Extensions
ExamplePrograms
MINERVA
GUI-Swing
Extensions
ExamplePrograms
MINERVA
GUIでの図
MinervaFeatures
ExamplePrograms
MINERVA
GUIなしのアプレット
FAQ
MINERVA
GUIプログラミング
Reference
Manual
MINERVA
Guiイベント
MinervaFeatures
ExamplePrograms
MINERVA
HelloWorld
MinervaFeatures
ExamplePrograms
MINERVA
IF Computerが開発
Overview
MINERVA
ISO13211
Restrictions
Reference
Manual
MINERVA
JDBC
MinervaFeatures
ExamplePrograms
MINERVA
JP
Extensions
ExamplePrograms
MINERVA
JVC
Testimonials
Showcase
MINERVA
Java Prolog
Overview
MINERVA
JavaBeansのサポートをしていますか。
FAQ
MINERVA
JavaToMinerva_1
MinervaFeatures
ExamplePrograms
MINERVA
JavaToMinerva_2
MinervaFeatures
ExamplePrograms
MINERVA
JavaToMinerva_3
MinervaFeatures
ExamplePrograms
MINERVA
JavaToMinerva_4
MinervaFeatures
ExamplePrograms
MINERVA
JavaToMinerva_5
MinervaFeatures
ExamplePrograms
MINERVA
JavaToMinerva_6
MinervaFeatures
ExamplePrograms
MINERVA
Javas
OtherResources
MINERVA
JavaからMINERVAへのインタフェース
Reference
Manual
MINERVA
JavaアプレットがMinervaを使う
MinervaFeatures
ExamplePrograms
MINERVA
Javaアレイ
MinervaFeatures
ExamplePrograms
MINERVA
MINERVA OEMライセンス
Licensing
MINERVA
MINERVA は機種に依存しますか?
FAQ
MINERVA
MINERVA1.0
ReleaseNotes
Manual
MINERVA
MINERVA1.1
ReleaseNotes
Manual
MINERVA
MINERVA1.2
ReleaseNotes
Manual
MINERVA
MINERVA1.3
ReleaseNotes
Manual
MINERVA
MINERVA2.0
ReleaseNotes
Manual
MINERVA
MINERVA2.1
ReleaseNotes
Manual
MINERVA
MINERVA2.2
ReleaseNotes
Manual
MINERVA
MINERVA2.3
ReleaseNotes
Manual
MINERVA
MINERVA2.4
ReleaseNotes
Manual
MINERVA
MINERVAからJavaへのインタフェース
Reference
Manual
MINERVA
MINERVAでは並列処理は可能ですか?
FAQ
MINERVA
MINERVAとは?
Overview
MINERVA
MINERVAには、プログラム開発のための開発環境ツールはありますか?
FAQ
MINERVA
MINERVAのユーザは誰ですか?
FAQ
MINERVA
MINERVAの大きさはいくらですか?
FAQ
MINERVA
MINERVAの特徴
ExamplePrograms
MINERVA
MINERVAは、従来のプログラム言語で書かれたプログラムにアクセスすることができますか?
FAQ
MINERVA
MINERVAはインタプリタですか。
FAQ
MINERVA
MINERVAをサーブレットとして使うことはできますか?
FAQ
MINERVA
MINERVAをシリアライズ化できますか?
FAQ
MINERVA
MINERVAインターネットサイトライセンス
Licensing
MINERVA
MINERVAイントラネットサイトライセンス
Licensing
MINERVA
MINERVAサーバーライセンス
Licensing
MINERVA
MINERVAスタンドアローンライセンス
Licensing
MINERVA
MINERVA評価用ライセンス
Licensing
MINERVA
MinervaToJava
MinervaFeatures
ExamplePrograms
MINERVA
MinervaToJavaScript
MinervaFeatures
ExamplePrograms
MINERVA
MinervaToJava_1
MinervaFeatures
ExamplePrograms
MINERVA
MinervaToJava_2
MinervaFeatures
ExamplePrograms
MINERVA
MinervaToJava_3
MinervaFeatures
ExamplePrograms
MINERVA
MinervaToJava_4
MinervaFeatures
ExamplePrograms
MINERVA
MrPandMrS
Benchmarks
ExamplePrograms
MINERVA
NEC
Testimonials
Showcase
MINERVA
Organizations
OtherResources
MINERVA
ParisMiki
Testimonials
Showcase
MINERVA
SMTPクライアント
Applications
ExamplePrograms
MINERVA
SanoKogei
Testimonials
Showcase
MINERVA
SymbolicMath
Applications
ExamplePrograms
MINERVA
URL情報を得る
MinervaFeatures
ExamplePrograms
MINERVA
Unix
LocalConfiguration
Installation
Manual
MINERVA
WWWの安全性
ApplicationAreas
Overview
MINERVA
Win95Parameters
Bugs
Restrictions
Reference
Manual
MINERVA
Windows2000
LocalConfiguration
Installation
Manual
MINERVA
Windows95
LocalConfiguration
Installation
Manual
MINERVA
Windows98
LocalConfiguration
Installation
Manual
MINERVA
WindowsME
LocalConfiguration
Installation
Manual
MINERVA
WindowsNT40
LocalConfiguration
Installation
Manual
MINERVA
WindowsXP
LocalConfiguration
Installation
Manual
MINERVA
XML (eXtended Markup Language) 項へのサポート
Predicates
Reference
Manual
MINERVA
\=/2
term_unification
Predicates
Reference
Manual
MINERVA
abolish/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
abort/0
logic_and_control
Predicates
Reference
Manual
MINERVA
append/3
lists
Predicates
Reference
Manual
MINERVA
arg/3
term_creat_decomp
Predicates
Reference
Manual
MINERVA
asserta/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
assertz/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
at_end_of_stream/0/1
stream_selection
Predicates
Reference
Manual
MINERVA
atom/1
type_test
Predicates
Reference
Manual
MINERVA
atom_chars/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_codes/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_concat/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_concat/3
atomic_term
Predicates
Reference
Manual
MINERVA
atom_length/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_lower/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_number/2
atomic_term
Predicates
Reference
Manual
MINERVA
atom_upper/2
atomic_term
Predicates
Reference
Manual
MINERVA
atomic/1
type_test
Predicates
Reference
Manual
MINERVA
bagof/3
all_solutions
Predicates
Reference
Manual
MINERVA
bb_clear/1
blackboard
Predicates
Reference
Manual
MINERVA
bb_clear/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_contains/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_contains_key/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_create/1
blackboard
Predicates
Reference
Manual
MINERVA
bb_elements/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_get/3
blackboard
Predicates
Reference
Manual
MINERVA
bb_get/4
blackboard
Predicates
Reference
Manual
MINERVA
bb_keys/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_put/3
blackboard
Predicates
Reference
Manual
MINERVA
bb_put/4
blackboard
Predicates
Reference
Manual
MINERVA
bb_remove/2
blackboard
Predicates
Reference
Manual
MINERVA
bb_size/2
blackboard
Predicates
Reference
Manual
MINERVA
break
logic_and_control
Predicates
Reference
Manual
MINERVA
builtin
Directives
Reference
Manual
MINERVA
call/1
logic_and_control
Predicates
Reference
Manual
MINERVA
catch/3
logic_and_control
Predicates
Reference
Manual
MINERVA
char_code/2
atomic_term
Predicates
Reference
Manual
MINERVA
char_conversion
ISO13211
Restrictions
Reference
Manual
MINERVA
chop/2
regexp
Predicates
Reference
Manual
MINERVA
clause/2
clause_retrieve
Predicates
Reference
Manual
MINERVA
client_start/3
sockets
Predicates
Reference
Manual
MINERVA
client_stop/1
sockets
Predicates
Reference
Manual
MINERVA
close/1
stream_selection
Predicates
Reference
Manual
MINERVA
co_add/2
Constraints
Predicates
Reference
Manual
MINERVA
co_check/2
Constraints
Predicates
Reference
Manual
MINERVA
co_get/2
Constraints
Predicates
Reference
Manual
MINERVA
co_merge/2
Constraints
Predicates
Reference
Manual
MINERVA
collect/3
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
compile/1/3
Compilation
Predicates
Reference
Manual
MINERVA
compound/1
type_test
Predicates
Reference
Manual
MINERVA
copy_term/2
term_creat_decomp
Predicates
Reference
Manual
MINERVA
current_error/1
stream_selection
Predicates
Reference
Manual
MINERVA
current_global/1
global_variable
Predicates
Reference
Manual
MINERVA
current_input/1
stream_selection
Predicates
Reference
Manual
MINERVA
current_op/3
term_io
Predicates
Reference
Manual
MINERVA
current_output/1
stream_selection
Predicates
Reference
Manual
MINERVA
current_predicate/1
clause_retrieve
Predicates
Reference
Manual
MINERVA
double_quotes
Directives
Reference
Manual
MINERVA
dynamic
Directives
MinervaFeatures
ExamplePrograms
MINERVA
dynamic
Directives
Reference
Manual
MINERVA
ensure_loaded
Directives
Reference
Manual
MINERVA
expand_term/2
grammar_rules
Predicates
Reference
Manual
MINERVA
external
Directives
MinervaFeatures
ExamplePrograms
MINERVA
external
Directives
Reference
Manual
MINERVA
fail/0
logic_and_control
Predicates
Reference
Manual
MINERVA
fcall/1
logic_and_control
Predicates
Reference
Manual
MINERVA
findall/3
all_solutions
Predicates
Reference
Manual
MINERVA
float/1
type_test
Predicates
Reference
Manual
MINERVA
flush_output/0/1
stream_selection
Predicates
Reference
Manual
MINERVA
for/3
arithm_eval
Predicates
Reference
Manual
MINERVA
functor/3
term_creat_decomp
Predicates
Reference
Manual
MINERVA
get_char/1/2
char_io
Predicates
Reference
Manual
MINERVA
get_code/1/2
char_io
Predicates
Reference
Manual
MINERVA
get_global/2
global_variable
Predicates
Reference
Manual
MINERVA
get_line/1/2
regexp
Predicates
Reference
Manual
MINERVA
guievent
GuiProgramming
Reference
Manual
MINERVA
halt/0/1
logic_and_control
Predicates
Reference
Manual
MINERVA
import
Directives
Reference
Manual
MINERVA
include
Directives
MinervaFeatures
ExamplePrograms
MINERVA
include
Directives
Reference
Manual
MINERVA
init
Directives
MinervaFeatures
ExamplePrograms
MINERVA
init
Directives
Reference
Manual
MINERVA
initialization
Directives
Reference
Manual
MINERVA
integer/1
type_test
Predicates
Reference
Manual
MINERVA
is/2
arithm_eval
Predicates
Reference
Manual
MINERVA
listener_start/3
sockets
Predicates
Reference
Manual
MINERVA
listener_stop/3
sockets
Predicates
Reference
Manual
MINERVA
load/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
loaded/1/2
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
main
Reference
Manual
MINERVA
match/2/3
regexp
Predicates
Reference
Manual
MINERVA
match_all/3
regexp
Predicates
Reference
Manual
MINERVA
member/2
lists
Predicates
Reference
Manual
MINERVA
merge_sort/2
lists
Predicates
Reference
Manual
MINERVA
minerva
Invocation
Reference
Manual
MINERVA
minervac
Invocation
Reference
Manual
MINERVA
minervad
Invocation
Reference
Manual
MINERVA
minervagui
Invocation
Reference
Manual
MINERVA
minervar
Invocation
Reference
Manual
MINERVA
minervax
Invocation
Reference
Manual
MINERVA
minmake
Invocation
Reference
Manual
MINERVA
mjar
Invocation
Reference
Manual
MINERVA
mjava
Invocation
Reference
Manual
MINERVA
mjavac
Invocation
Reference
Manual
MINERVA
multifile
ISO13211
Restrictions
Reference
Manual
MINERVA
nl/0/1
char_io
Predicates
Reference
Manual
MINERVA
nonvar/1
type_test
Predicates
Reference
Manual
MINERVA
number/1
type_test
Predicates
Reference
Manual
MINERVA
number_chars/2
atomic_term
Predicates
Reference
Manual
MINERVA
number_codes/2
atomic_term
Predicates
Reference
Manual
MINERVA
once/1
logic_and_control
Predicates
Reference
Manual
MINERVA
op
Directives
Reference
Manual
MINERVA
op/3
term_io
Predicates
Reference
Manual
MINERVA
open/3/4
stream_selection
Predicates
Reference
Manual
MINERVA
package
Directives
MinervaFeatures
ExamplePrograms
MINERVA
package
Directives
Reference
Manual
MINERVA
parse_atom/2/3
atomic_term
Predicates
Reference
Manual
MINERVA
peek_char/1/2
char_io
Predicates
Reference
Manual
MINERVA
peek_code/1/2
char_io
Predicates
Reference
Manual
MINERVA
phrase/2
grammar_rules
Predicates
Reference
Manual
MINERVA
print/1/2
term_io
Predicates
Reference
Manual
MINERVA
println/1/2
term_io
Predicates
Reference
Manual
MINERVA
put_char/1/2
char_io
Predicates
Reference
Manual
MINERVA
put_code/1/2
char_io
Predicates
Reference
Manual
MINERVA
read/1/2
term_io
Predicates
Reference
Manual
MINERVA
read_binary_term/2
TermStream
Predicates
Reference
Manual
MINERVA
read_term/2/3
term_io
Predicates
Reference
Manual
MINERVA
read_xml/2/3
XML
Predicates
Reference
Manual
MINERVA
receive/2
sockets
Predicates
Reference
Manual
MINERVA
release200203
Bugs
Restrictions
Reference
Manual
MINERVA
repeat/0
logic_and_control
Predicates
Reference
Manual
MINERVA
retract/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
retractall/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
reverse/2/3
lists
Predicates
Reference
Manual
MINERVA
send/2
sockets
Predicates
Reference
Manual
MINERVA
server_start/4
sockets
Predicates
Reference
Manual
MINERVA
server_stop/1
sockets
Predicates
Reference
Manual
MINERVA
set_error/1
stream_selection
Predicates
Reference
Manual
MINERVA
set_global/2
global_variable
Predicates
Reference
Manual
MINERVA
set_input/1
stream_selection
Predicates
Reference
Manual
MINERVA
set_output/1
stream_selection
Predicates
Reference
Manual
MINERVA
setof/3
all_solutions
Predicates
Reference
Manual
MINERVA
sort/2
lists
Predicates
Reference
Manual
MINERVA
split/2/3
regexp
Predicates
Reference
Manual
MINERVA
sub_atom/5
atomic_term
Predicates
Reference
Manual
MINERVA
substitute/4
regexp
Predicates
Reference
Manual
MINERVA
substitute_all/4
regexp
Predicates
Reference
Manual
MINERVA
term2xml/3
XML
Predicates
Reference
Manual
MINERVA
term2xmldoc/3
XML
Predicates
Reference
Manual
MINERVA
throw/1
logic_and_control
Predicates
Reference
Manual
MINERVA
timer_close/1
timer
Predicates
Reference
Manual
MINERVA
timer_create/2
timer
Predicates
Reference
Manual
MINERVA
timer_is_active/1
timer
Predicates
Reference
Manual
MINERVA
timer_start/2
timer
Predicates
Reference
Manual
MINERVA
timer_stop/1
timer
Predicates
Reference
Manual
MINERVA
true/0
logic_and_control
Predicates
Reference
Manual
MINERVA
tv_add/2
termvector
Predicates
Reference
Manual
MINERVA
tv_create/1
termvector
Predicates
Reference
Manual
MINERVA
tv_get/3
termvector
Predicates
Reference
Manual
MINERVA
tv_list/2
termvector
Predicates
Reference
Manual
MINERVA
tv_set/3
termvector
Predicates
Reference
Manual
MINERVA
tv_setsize/2
termvector
Predicates
Reference
Manual
MINERVA
tv_size/2
termvector
Predicates
Reference
Manual
MINERVA
unifiy_with_occurs_check/2
term_unification
Predicates
Reference
Manual
MINERVA
unload/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
var/1
type_test
Predicates
Reference
Manual
MINERVA
write/1/2
term_io
Predicates
Reference
Manual
MINERVA
write_atom/2
atomic_term
Predicates
Reference
Manual
MINERVA
write_binary_term/2
TermStream
Predicates
Reference
Manual
MINERVA
write_canonical/1/2
term_io
Predicates
Reference
Manual
MINERVA
write_term/2/3
term_io
Predicates
Reference
Manual
MINERVA
write_xml/1/2
XML
Predicates
Reference
Manual
MINERVA
writeq/1/2
term_io
Predicates
Reference
Manual
MINERVA
writeq_atom/2
atomic_term
Predicates
Reference
Manual
MINERVA
xml2term/3
XML
Predicates
Reference
Manual
MINERVA
xmldoc2term/3
XML
Predicates
Reference
Manual
MINERVA
以上
|
|
|
|
|
 |
|
Expert Services on the Web |
|
|
|
|
|
|
|
|
|
|