Prolog で型チェック：Rainy Day Codings：So-net blogProlog の力といえば単一化ですが、[1] の記事でやったような型チェックの場合も、同じ型であるかどうかの判断というのは単一化でうまく書けそうです。 型チェックのところだけ書きたいので構文木は適当に与えられているものとします。 整数と真偽値と条件分岐と変数束縛とラムダから成る簡単な言語を想定して Prolog で型チェックを行ってみます。 type_of(Num, _, number) :- number(Num). type_of(true, _, bool). type_of(false, _, bool). type_of(if(Cond, True, False), Env, T) :- type_of(Cond, Env, bool), type_of(True, Env, T), type_of(False, Env, T). type_of(let(Sym, Val, B
