2008-05-23から1日間の記事一覧

PrologコードをHaskellの型システムで書く

prologサンプルコードをふと書いてみる - ラシウラでのprologコード、eval.pl %% example %% consult(eval). %% eval(nil, apply(lambda(x, ref(x)), 10), Result). eval(Env, lambda(Arg, Body), closure(Env, Arg, Body)). eval(Env, apply(Operator, Oper…