Twitter 大黒学 polynity | 大黒学(polynity) /「Prolog」の検索結果

Daikoku reasonably small
大黒学@polynity

Picatは、Prologと同様に論理プログラミング言語ですが、while文もdo-while文もforeach文もあります。 tutorial.jp/prog/picat/pic… twitter.com/takaoozaki/sta…

Daikoku reasonably small
大黒学@polynity

関数の定義ができるようにするという方向でPrologを拡張した言語としては、Picatというのもありますね。 picat-lang.org twitter.com/TakaoOzaki/sta…

Daikoku reasonably small
大黒学@polynity

方向性としてはPrologよりもMizarとかに近いと思う。 ja.wikipedia.org/wiki/Mizar / “世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita” htn.to/Dpm52p

Daikoku reasonably small
大黒学@polynity

「初級Prolog講座・第零版」を公開しました d.hatena.ne.jp/polynity/20140…

Daikoku reasonably small
大黒学@polynity

大人になったらJava。中年になったらHaskell。老人になったらProlog。 / “「そろそろJavaみなおしてもええんやで」というプレゼンしてきた - きしだのはてな” htn.to/U4ZLZq

Daikoku reasonably small
大黒学@polynity

なんと、Prologがベストテン入り! / “10 Best Programming Languages For 2014” htn.to/8nQUga

Prologは自由な動く歌です。動くのはもちろん、「導出」や「反駁」によって。定数律ではありませんが、パターンに乗って、書きなぐって構わないラベル。ロジックが大事なことは重々承知としても、もっと自由に、 :- を挾んで歌おう。

Daikoku reasonably small
大黒学@polynity

XSLTとかPrologとかPostScriptとかSMLとか、残念言語が大好きな私にとっては興味深いイベント。遠いから参加しないけど。 / “残念言語ハッカソン : ATND” htn.to/qE62pv

Daikoku reasonably small
大黒学@polynity

@honda0510 「初級Prolog講座」をご利用いただきまして、ありがとうございます。フォントを埋め込んだ(たぶん)PDFを作ってみましたので、試してみてください。 bit.ly/A30VyH

奇跡を求める魔術師同士が,伝説的プログラマーを現世に召喚して互いに殺しあう.それが聖杯戦争.召喚されるプログラマは言語に応じて7人.すなわち,アセンブリ言語, LISP, C++, Prolog, Perl, Haskell, Coqのハッカーがひとりずつ.

Daikoku reasonably small
大黒学@polynity

なんだか面白そうなイベントが告知されてる! / “Prolog復興会議準備会 : ATND” htn.to/sMcZDF

Daikoku reasonably small
大黒学@polynity

6年ぶりに改訂。メールでリンク切れを教えてくださった方に感謝。 / Prologメタリンク集 http://htn.to/KV3MgR

Daikoku reasonably small
大黒学@polynity

同感です。ついでに言うと、COBOLとかPrologとかPostScriptとかも読めたりします(笑)。 RT @lipoyang 古典語が読めるのは素敵なことだと思います>神学大全 #ubuntujp