[B! prolog] Windymeltのブックマーク

Windymelt id:Windymelt

prologに関するWindymeltのブックマーク (3)

Prolog Meta programming
Prologの入門文書に飽きた人にたけおか@AXE (竹岡尚三) Update: 2007/DEC/08 Update: 2007/AUG/18 初出: 2007/MAR/10 なんだか、Webの世界には、日本語では、純粋な論理型言語としてのProlog入門の文書しかなく。 Prologは、実用言語(を目指しているはず)なので、ピュアな論理の話だけでは、いけないと、思い… で、こういう雑文にて、恥をさらす。 1. 高階による後悔実用プログラムが、あんまりに高階手続きを使っていると、それはそれで、困りそうなものなのだが… でも、やはり、高階な呼び出しは、必要だ。 aho(X,Z) :- A =.. [plus,1,X,Z], call(A),print(Z). という述語を定義し、実行とその結果は次のとおり。 ?- aho(4,Z). 5 Z = 5 「call/1」は、引数
Windymelt 2019/07/03
"Prologの入門文書に飽きた人に"

prolog
リンク
［Prolog］[Tips] 美しいPrologのコードの書き方(1) - negationの日記
Prologのコードを美しく書くにはどうしたらいいか？。少々ボリュームがあるので、根気のある人だけ読んでくださいw。でもきっとためになります。まずPrologを書くに当たって、重要なことは「引数の性質が何であるか」と言うことです。 Prologの引数には3つの性質があります。定数としての引数。これはhoge(+bar)とSWI-Prologのhelpに書かれています。処理した後に値を返すための引数。hoge(-bar)。上記どちらでも良い引数。hoge(?bar)。たとえば、times(X,Y,Z)という述語を考えてみます。これは「X*Y=Z」という意味としましょう。このコードは以下のようになります。 times(X,Y,Z):- Z is X * Y. あ、「｀*’使ってたら意味ないじゃん」というつっこみは無しでw。例ですからw。このときもし ?- times(X,Y,3).
Windymelt 2018/04/25
prolog
リンク
Prolog Guide - Representing Data Structures
Windymelt 2018/04/25
prolog
リンク
1