多義語のまとめ

結局、多義語の意味をキチンと区別して分解して丁寧に解釈する。

関数：

関数	基本テキスト	定義したテキスト	符号
名前	基本関数名	関数名	エントリーポイント／インデックス
関数記述	-	ラムダ関数項	関数オブジェクトコード
関数本体式	-	項	関数本体コード
実体	ビルトイン関数	計算可能関数	計算可能関数

述語：

述語	基本	定義した
名前	基本述語名	述語名
関数記述	-	ラムダ論理式
関数本体式	-	論理式
実体	ビルトイン述語	計算可能述語