コンビネータ論理
コンビネータ論理とはラムダ計算に等しい形式体系であり，形式変数を使わずに関数を表現することができる．すべての項は関数であり，1つだけ二項演算の適用がある．
コンビネータ項
Application () — 左結合の関数適用
CombinatorK，CombinatorS — 基本的なコンビネータ
CombinatorB ▪ CombinatorC ▪ CombinatorI ▪ CombinatorW ▪ CombinatorY
Construct — Wolfram言語の適用
Function — ラムダ計算の抽象
自動化された定理証明 »
FindEquationalProof — コンビネータ論理の証明の表現を生成する