サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
大谷翔平
billwadge.com
One big issue in the logic programming vs functional programming debate is logic programming’s (or at least the original Prolog’s) restriction to first order logic. To functional programmers this constraint is intolerable; even the simplest Haskell programs are higher order (although this is often due to currying). Can this be fixed? Yes, but you have to be careful. Two higher order systems appear
このページを最初にブックマークしてみませんか?
『billwadge.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く