2つの演算数に適用される

演算子は①である:演算子が複数現れるような部分式が左から右へグループ化される時 ②の演算子は①

演算子は①である:演算子が複数現れるような部分式が右から左へグループ化される時 ②は①である

式の演算子:演算数の構造を示す木

他の関数を介してでもfが自分自身を駆動する時fを①であるという

関数fの駆動f(a)が最大１回新しいfを駆動する時、fの定義が①であるという

関数fが再帰を必要とせずに値をリターンするか、あるいは単に再帰的駆動の結果をリターンする時、関数fは①であるという

線形再帰の評価は次の二段階 新しい駆動が行われる① 後入れ先出し法で駆動から制御に戻る、引き続く②

「式の値があれば、それはその部分式の値だけに依存する」 この原則に特徴づけられるプログラミング

関数型言語の特徴 ユーザがデータの①に気を使わなくて良い

データ領域に関する組み込み操作が、必要に応じてメモリ領域を確保する。アクセスできなくなったメモリ領域は、自動的に解放される

関数は、他のすべての値と同じ地位を持つ。関数は式の値となり得る。関数を引数として渡すことも出来る。また関数をデータ構造の中に収めることも出来る。

①:式をデータとして扱うために必須である。①された項目は、それ自身として評価される。

無名の関数値に対しての表記法 1度しか使わない関数は関数名を省略できる

ゼロ個以上の値の並び (XYZ)は該当する。XYZは該当しない

ゼロ個の要素を持つリスト

関数の引数ないしはその結果が関数である

リストの要素に沿ってループまたは繰り返しを行って、要素それぞれに対して何ごとか行う関数である。

関係は①によって指定できる

P if Q1 and Q2 and…and Qkただしk>=0^1 このような規則のこと

k=0となる規則の特別な場合で、そこでPは無条件で成立する。

論理プログラミングは、関係についての①によって駆動される。最も単純な①は、特定の組がある関係にあるかどうかを尋ねるものである。

・情報の表現のための事実と規則の使用 ・質問の応答への論理推論の使用 を指している用語

単項とは数、大文字で始まる①、あるいはそれ自身を表す②である。

アトムとカッコで括られた部分項の並びからなる。:① そのようなアトムは②、そして部分項は③と呼ばれる

質問文中の個々の項

解を持つ質問文を①であるという

真か偽に評価される式

2つの項T1とT2が共通の具体値Uを持つ時に単一とされるというもの

項Tの①は、Tの中の変数を部分項によって置換して求められる。ある変数の全ての出現を同一の部分項によって置換しなければならない

変数から項への関数

ある置換σに対してU=Tσであれば、項UはTの具体値であるという。ある置換σに対してT1σとT2が同一となれば、項T1とT2は単一化されるという。この時σをT1とT2の①と呼ぶ

他の全ての単一子σ’に対してT1σがT1σ’の具体値となる時、その置換σをT1とT2の①

3.1459に名前piを与える (① pi 3.14159)

xが空リストであれば真、さもなければ偽 (①　x)

非空リストxの最初の要素 (① x)

リストxから最初の要素を除いた残余 (① x)

引数は2つの引数であり、戻り値はドット対

if P1 then E1 else P2 then E2 else E3 (① (P1 E1)(P2 E2)(else E3)