この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 用語と定義
ISO/IEC 13211 のこの部分の用語は、ISO 2382 をモデルにした形式になっています。
エントリは、定義されている語句 ( 太字) とそれに続くその定義で構成されます。用語集で定義されている語句は、ISO/IEC 13211-1 または ISO/IEC 13211 のこの部分の他のエントリで定義されている場合、イタリック体で印刷されます。定義に、互いに直接続く別々のエントリで定義された 2 つの語句が含まれている場合(または句読点のみで区切る)、* (アスタリスク) で区切ります。
用語集で定義されていない語句は、ISO 2382-15 および ISO/IEC 13211-1 で与えられた意味を持つと想定されます。それらが ISO 2382-15 または ISO/IEC 13211-1 に表示されない場合、通常の意味を持つと見なされます。
二重アスタリスク (**) は、ISO/IEC 13211-1 で与えられた意味からの変更がある定義を示すために使用されます。
3.1
アクセス可能な手順
3.39 —手順、アクセス可能を参照してください。
3.2
アクティブ化、プロシージャの
プロシージャーは、実行のために呼び出されたときにアクティブ化されています。
3.3
引数、修飾
モジュール名修飾*予測の引数である修飾語。
3.4
呼び出しコンテキスト
一連の可視プロシージャ、演算子テーブル、文字変換マッピング、およびモジュール名で示されるProlog フラグ値であり、コンテキスト依存プロシージャをアクティブ化するためのコンテキストとして使用されます。
3.5
データベース、表示
モジュールM の可視データベースは、M 内からモジュール名修飾なしで起動できる一連のプロシージャです。
3.6
モジュールの定義
3.23モジュール、定義を参照してください。
3.7
輸出
エクスポート モジュールのプロシージャを、他のモジュールによるインポートor再エクスポートに使用できるようにする。
3.8
エクスポートされた手順
3.41 —手順、エクスポートを参照してください。
3.9
輸入
* モジュールによってエクスポートor再エクスポートされたプロシージャを *インポートor再エクスポート モジュールで可視化する。
3.10
インポート、選択的
モジュールによってエクスポートor再エクスポートされた特定の明示的に指定されたプロシージャのみのモジュールへのインポート(6.2.5.2 を参照)
3.11
ロード (モジュール)
モジュールのモジュールインターフェイスをロードし、そのすべての本体 (存在する場合) を実行のために正しく準備します。
注記 1:モジュールのインタフェースは、モジュールの本体の前にロードされなければならない (6.2.3 を参照)
3.12
ロード (モジュール インターフェイス)
実行するモジュールのモジュール インターフェイスを正しく準備します。
3.13
ルックアップ モジュール
3.29 —モジュール、検索を参照してください。
3.14
メタ引数
コンテキスト依存のメタプロシージャ内の引数。
3.15
メタ述語
メタプロシージャーを示す述語。
3.16
メタ述語ディレクティブ
プロシージャがメタ述語であることを規定するディレクティブ。
3.17
メタ述語モード インジケータ
それぞれの引数が ':' または '*' である述語指示子または複合項のいずれか (6.1.1.4 を参照)
3.18
メタプロシージャ
アクションが呼び出しコンテキストに依存するため、この呼び出しコンテキストを指定する拡張モジュール情報を運ぶプロシージャ。
3.19
メタ変数
プロシージャがアクティブ化されたときにモジュール名修飾の対象となる、メタプロシージャの引数として発生する変数。
3.20
モジュール
手順の一部をエクスポートし、他のモジュールから *手順をインポートおよび再エクスポートするための規定とともに、手順とディレクティブの名前付きコレクション。
3.21
モジュール本体
モジュールの手続きの定義と、そのモジュール本体にローカルなimportおよびその他のディレクティブを含むプロローグ テキスト。
3.22
モジュール、呼び出し (プロシージャーの)
対応するアクティベーターis実行されるモジュール。
3.23
モジュール、定義
モジュール本体 (または複数の本体)で手続きが明示的かつ完全に定義されているモジュール。
3.24
モジュール ディレクティブ
モジュールテキストの意味に影響を与える用語D (6.2.4) であり、そのモジュールテキストではディレクティブ用語: - (D) ..
3.25
モジュール、既存
インターフェースが実行のために準備されたモジュール(6.2.3 を参照)
3.26
モジュール、エクスポート
他のモジュールによる輸入or再輸出の手続きを利用可能にするモジュール。
3.27
モジュールインターフェース
モジュールのエクスポートおよび再エクスポートされたプロシージャーとエクスポートされた * メタ述語を指定する読み取り用語のシーケンス。
3.28
モジュール、インポート
プロシージャがインポートされ、モジュールの可視データベースに追加されるモジュール。
3.29
モジュール、ルックアップ
プロシージャの句の検索が行われるモジュール。
注記1ルックアップモジュールは、モジュール名修飾なしでアクセス可能なプロシージャの可視データベースを定義します(6.1.1.3を参照)
3.30
モジュール名
モジュールan識別するアトム。
3.31
モジュール名修飾
モジュール名による用語の修飾。
3.32
モジュール、認定
6.1.1.3 修飾モジュール、検索モジュール、および定義モジュールを参照してください。
3.33
モジュール、再エクスポート
* によって特定のプロシージャをインポートし、これらの同じプロシージャをエクスポートするモジュール。
3.34
モジュールテキスト
ディレクティブ、モジュール ディレクティブ、および句を示す一連の読み取り用語。
3.35
モジュール、ユーザー
特定のモジュールに属していると指定されていないすべてのユーザー定義プロシージャーを含む、名前が user のモジュール。
3.36
述語**
識別子or修飾識別子anアリティ。
3.37
述語名、修飾
述語の修飾識別子。
3.38
実行の準備
プロセッサによるプロローグ テキストとモジュール テキストの両方の実装依存の処理。成功した場合、プロセッサは準備されたプロローグ テキストorモジュール テキストを実行する準備ができています。
3.39
手順、アクセス可能
現在ロードされている任意のモジュールからモジュール名修飾を使用してアクティブ化できる場合、プロシージャーisアクセス可能です。
3.40
手順、状況依存
実行の効果が、それがアクティブ化される呼び出しコンテキストに依存する場合、プロシージャisコンテキスト依存です。
3.41
手順、エクスポート
他のモジュールによるインポートor再エクスポートのために、モジュールによって使用可能にされるプロシージャー。
3.42
プロシージャ、可視 (モジュールM 内)
モジュール名修飾を使わずにMから起動できる手続き。
3.43
プロセス **
適合する Prolog データを操作し、副作用を達成し、結果を計算するために、準備された Prolog テキストとモジュール テキストを実行するプロセッサの実行アクティビティ。
3.44
プロトタイプ
各引数が変数である複合項。
3.45
プロトタイプ、認定済み
最初の引数がモジュール名で、2 番目の引数がプロトタイプである修飾語。
3.46
資格
用語Tの用語M によるテキスト置換 (6.4.3): Tここで、 Mはモジュール名です。
3.47
修飾された引数
修飾された 3.3 引数を参照してください
3.48
修飾語
3.51用語、修飾を参照してください。
3.49
再輸出
* モジュールによってエクスポートされた * プロシージャを再エクスポート モジュールで可視化すると同時に、再エクスポート モジュールから他のモジュールによってインポートor再エクスポートできるようにします。
3.50
再輸出、選択的
* 別のモジュールからエクスポートされた特定の指示された手順の *再エクスポート モジュールによる再エクスポート( 6.2.4.3 を参照)
3.51
期間、資格あり
主関数is(:)/2である項。
3.52
可視手続き (モジュールM内)
3.42手順を参照してください。
3.53
(モジュールMの) 可視データベース
3.5 を参照 —データベース、可視。
3 Terms and definitions
The terminology for this part of ISO/IEC 13211 has a format modeled on that of ISO 2382.
An entry consists of a phrase (in bold type) being defined, followed by its definition. Words and phrases defined in the glossary are printed in italics when they are defined in ISO/IEC 13211-1 or other entries of this part of ISO/IEC 13211. When a definition contains two words or phrases defined in separate entries directly following each other (or separated only by a punctuation sign), * (an asterisk) separates them.
Words and phrases not defined in the glossary are assumed to have the meaning given in ISO 2382-15 and ISO/IEC 13211-1; if they do not appear in ISO 2382-15 or ISO/IEC 13211-1, then they are assumed to have their usual meaning.
A double asterisk (**) is used to denote those definitions where there is a change from the meaning given in ISO/IEC 13211-1.
3.1
accessible procedure
See 3.39 — procedure, accessible.
3.2
activation, of a procedure
A procedure has been activated when it is called for execution.
3.3
argument, qualified
A qualified term which is an argument in a module name qualified * predication.
3.4
calling context
The set of visible procedures, the operator table, the character conversion mapping and Prolog flag values denoted by a module name, and used as a context for activation of a context sensitive procedure.
3.5
database, visible
The visible database of a module M is the set of procedures that can be activated without module name qualification from within M.
3.6
defining module
See 3.23 module, defining.
3.7
export
To make a procedure of an exporting module available for importorre-export by other modules.
3.8
exported procedure
See 3.41 — procedure, exported.
3.9
import
To make procedures * exportedorre-exported by a module * visible in an importingorre-exporting module.
3.10
import, selective
The importation into a module of only certain explicitly indicated procedures * exportedorre-exported by a module (see 6.2.5.2).
3.11
load (a module )
Load the module interface of a module and correctly prepare all its bodies, if any, for execution.
Note 1 to entry: The interface of a module shall be loaded before any body of the module (see 6.2.3).
3.12
load (a module interface )
Correctly prepare the module interface of the module for execution.
3.13
lookup module
See 3.29 — module, lookup.
3.14
meta-argument
An argument in a metaprocedure which is context sensitive.
3.15
metapredicate
A predicate denoting a metaprocedure.
3.16
metapredicate directive
A directive stipulating that a procedure is a metapredicate.
3.17
metapredicate mode indicator
Either a predicate indicator or a compound term each of whose arguments is ':' , or '*' (see 6.1.1.4).
3.18
metaprocedure
A procedure whose actions depend on the calling context, and which therefore carries augmented module information designating this calling context.
3.19
metavariable
A variable occurring as an argument in a metaprocedure which will be subject to module name qualification when the procedure is activated.
3.20
module
A named collection of procedures and directives together with provisions to export some of the procedures and to import and re-export * procedures from other modules.
3.21
module body
A Prolog text containing the definitions of the procedures of a module together with import and other directives local to that module body.
3.22
module, calling (of a procedure )
The module in which a corresponding activatorisexecuted.
3.23
module, defining
The module in whose module body (or bodies) a procedure is defined explicitly and entirely.
3.24
module directive
A term D which affects the meaning of module text (6.2.4), and is denoted in that module text by a directive-term: - (D) ..
3.25
module, existing
A module whose interface has been prepared for execution (see 6.2.3).
3.26
module, exporting
A module that makes available procedures for importorre-export by other modules.
3.27
module interface
A sequence of read-terms which specify the exported and re-exported procedures and exported * metapredicates of a module.
3.28
module, importing
A module into which procedures are imported, adding them to the visible database of the module.
3.29
module, lookup
The module where search for clauses of a procedure takes place.
Note 1 to entry: The lookup module defines the visible database of procedures accessible without module name qualification (see 6.1.1.3).
3.30
module name
anatom identifying a module.
3.31
module name qualification
The qualification of a term with a module name.
3.32
module, qualifying
See 6.1.1.3 Qualifying module, lookup module and defining module.
3.33
module, re-exporting
A module which, by * imports certain procedures and exports these same procedures.
3.34
module text
A sequence of read-terms denoting directives, module directives and clauses.
3.35
module, user
A module with name user containing all user-defined procedures that are not specified as belonging to a specific module.
3.36
predicate **
anidentifierorqualified identifier together with an arity.
3.37
predicate name, qualified
The qualified identifier of a predicate.
3.38
preparation for execution
Implementation dependent handling of both Prolog text and module text by a processor which results, if successful, in the processor being ready to execute the prepared Prolog textormodule text.
3.39
procedure, accessible
A procedureisaccessible if it can be activated with module name qualification from any module which is currently loaded.
3.40
procedure, context sensitive
A procedureiscontext sensitive if the effect of its execution depends on the calling context in which it is activated.
3.41
procedure, exported
A procedure that is made available by a module for importorre-export by other modules.
3.42
procedure, visible (in a module M)
A procedure that can be activated from M without using module name qualification.
3.43
process **
Execution activity of a processor running prepared Prolog text and module text to manipulate conforming Prolog data, accomplish side effects and compute results.
3.44
prototype
A compound term where each argument is a variable.
3.45
prototype, qualified
A qualified term whose first argument is a module name and second argument is a prototype.
3.46
qualification
The textual replacement (6.4.3) of a termT by the termM: T where M is a module name.
3.47
qualified argument
See 3.3 argument, qualified
3.48
qualified term
See 3.51 term, qualified.
3.49
re-export
To make procedures * exported by a module * visible in the re-exporting module, while at the same time making them available for importorre-export by other modules from the re-exporting module.
3.50
re-export, selective
The re-exportation by a re-exporting * module of certain indicated procedures * exported from another module (see 6.2.4.3).
3.51
term, qualified
A term whose principal functoris(:)/2.
3.52
visible procedure (in a moduleM )
See 3.42 procedure, visible.
3.53
visible database (of a moduleM )
See 3.5 — database, visible.