引数の役割説明表

引数の役割名 値の範囲

ArgList 項のリスト ArgPosExpt IntExpr: 整数値 1-127 Argument 項 ArithExpr 計算式 Arity 整数: 0-127 ArityExpr IntExpr: 整数値 0-127 Atom アトム Base 文字 body アトム | 複合項 Char アトム: 単一の文字 CharCode 整数: 0-255 (拡張 ASCII ) CharCodeExpr IntExpr: 整数値 0-255 (拡張 ASCII ) CharCodeList 文字コードのリスト CharList 複数文字のリスト CharRead アトム Clause アトム | 複合項 Cmd アトム Code 整数: 0-255 CodeExpr 整数式: 0-255 Col 整数 ColExpr 整数式 Comparison アトム: < | = | > ConcatList テキスト式のリスト Control 項 Counter 整数 CountExpr 整数式 Date 整数: DDMMYY Day 整数: 1-31 DirectoryName アトム Element 項 ErrorCode 整数: 1-21 ExceptHandler 項: ゴール ExitGoal 項: ゴール FileDescrExpr 整数式 FileName アトム FilePermission アトム: r | w FirstExpr 整数式 Flag アトム: iso | save_var_names | single_var_check | syntax_warnings | notify

Format アトム: 印刷フォーマットの文字列 Functor アトム FunctorList アトム或は複合項のリスト GenericStream 複合項 GlobalVarName 項 Goal 項: ゴール GoalName アトム Head アトム | 複合項 HitList 項のリスト Hour 整数: 0-23 IncNumber 入力パラメータの場合には,整数 | 整数式 InStream アトム IntExpr 表現式、整数値となる Language アトム LastCharCode 整数式: 整数値 0-255 (拡張 ASCII ) LastExpr 整数式 Length 整数 LengthExpr 整数式 Line 整数 LineExpr 整数式 List 項のリスト ListIn リスト ListOut リスト LoadedFrom アトム LogicalName アトム LowerCase アトム Mark 項 Message アトム Minute 整数: 0-59 Module アトム ModuleList アトムのリスト ModuleName アトム Month 整数: 1-12 Msg アトム NewEditorName アトム NewFormat 複合項: g(int1, int2) | e((int1, int2) | f(int1, int2) NewLetters 複数文字のリスト NewList 複数文字のリスト NewSwitch アトム: on | off NextPosition 整数 Number 整数 | 実数 OldEditorName アトム OldFormat 複合項: g(int1, int2) | e((int1, int2) | f(int1, int2) OldLetters 複数文字のリスト OldList 複数文字のリスト OldSwitch アトム: on | off Operator アトム OpList アトム | アトムのリスト OpType アトム: fx | fy | xfx | yfx | yfy | xf | yf OptionList binary | text | append | truncate のリスト OutStream アトム ParsedTerm 項 PathName アトム Patterm アトム, '*', '?'と'['には特別な意味がある PhysicalName アトム Port アトム: call | redo | fail | exit | last PosExpr 整数式 Position 整数 Precedence 整数: 1-1200 Predicate アトム | 複合項 PredicateList アリティを持つ述語のリスト PredType アトム: undefined | linear | compiled | c_primitive | c_predicate | system | builtin PrintCharCode 文字コード: 33-255 ( ブランクがない拡張ASCII) RetCode 整数 Result 整数 Second 整数: 0-59 Seperator アトム ShellVarName アトム ShellVarValue アトム Signal アトム: interrupt | alarm | user_1 | user_2 SignalHandler アトム: ゴール SignalOptionList event | clear のリスト SortedKeyList [ key - term, ... ]のリスト SortedList リスト StopCharCode 整数式: 0-255 (拡張ASCII) Stream アトム StreamOptionList input | output | update | binary | text | append | truncate のリスト String アトム Structure 複合項 SubText アトム SubTextExpr TextExpr Successor 入力パラメータの場合,整数|整数式 Symbol アトム SystemName アトム Template 項 Term 項 TermIn 項 TermList 項のリスト TermOut 項 TerminalName アトム Text アトム TextExpr アトム | 整数 Time 整数: HHMMSS TimeExpr 整数式 Type アトム | 複合項 UnivList リスト、そのヘッドはアトムでなければならない UnsortedKeyList [ key - term, ... ] のリスト UnsortedList リスト UpperCase アトム VarList リスト: [ 'Variable' = 変数, ... ] Version アトム Weekday 整数: 0-6 Year 整数 Yearday 整数: 1-365

この表に於ける左の欄には、このレファレンスマニュアルでの全ての述語を説明するに使われた引数名が載っていおり、右の欄には、引数の正しいデータ型を記載しています。もしデータ型の範囲が制限できれば、その範囲の幅が与えられます。基本のデータ型(整数、実数、アトム、リスト、複合項、項)はそれぞれに型の名のもとに記述されています。その以外の場合は代わりに、計算式が記述されています。