Reading The Craft of PrologThe Craft of Prologを読んでProlog的テクニックを学ぼうという集りがありました。 高等魔術の教理と祭儀 当日つかったスライドです。本を読む上で道案内になれば幸いです。 スライドを見ながら、あーだこーだらむだと話していると大体16時過ぎには終わってしまったので、後はかなり自由なトーキングセッションとなってしまい、ハイ、その辺は準備が不十分だったなーと痛感しています。ごめんなさい。 ranhaさんが、式は戻り値ほしーと言ってましたがPrologは記号処理をしたいのであって数値計算をしたいわけじゃないのでソレです。つまり、 ?- X = 1 + 1. X = 1 + 1. ?- X is 1 + 1. X = 2. :- op(500, xfy, +). :- op(500, yfx, -). C is A + B :- prim_add(A, B, C). C is A
