Prolog@WCIMH

./index.html ../index.html Prologに挑戦した時の記録 Haskellのところで、世の中には逐次実行型以外の言語があるという話をしましたが、関数型と双璧を…成しているようにはどーも思えない論理記述型の代表Prologです。 最近は関数型言語の特徴が一部OOPLに導入されてきたりしてますが、今も昔も論理型言語はサッパリ目にしません。 いやま、素人の言うことなんか気にしないでくださいな。 実用レベルに習得するかどうかは別にして、一度は理解ぐらいはしたかった、つーことで、さわりだけやります。 処理系はここ。 教科書はここ。 インストールして、まず むう、拡張子が.plでPerlと被りますね。 でもまあ、関連付けはいじられないようなので(Perlのままになってます)、別にいいか。 コマンドラインからC:\xxx.plみたいな形でPrologのコードを実行するなんてこと

[suireN]

正規表現

[sshi]

prologでの逆演算を可能にするfactの定義があるが、、よくわからない。逆演算相当を自分で定義してるだけ？