clojure.core.logicでPrologのような論理型プログラミング - t2ru's blog
clojure.core.logicというClojureをProlog化するライブラリがある。 Prologとは、論理型プログラミング言語。 下記のサイトで詳しい説明をしている方がいらっしゃるので、論理型言語についての説明は省略。 http://www.geocities.jp/m_hiroi/prolog/ このPrologのようなことが、論理型言語ではなく関数型言語のClojureで、ライブラリ clojure.core.logic をロードするだけでできてしまう。 https://github.com/clojure/core.logic The Reasoned Schemer という本は、Schemeで論理型プログラミングを実現する内容だが、 clojure.core.logic はこの本の内容をClojureに移植したもの。 The Reasoned Schemer 作者: D
Leiningenで簡単Clojureプロジェクト - t2ru's blog
Programming Clojureの訳本がもうすぐ出るということで、ここ数日盛り上がり気味のClojure。Amazonに出たので、即注文。 Clojureには、Javaで言うMavenに相当するツールで「Leiningen」というのがある。 http://github.com/technomancy/leiningen これを使えば、依存ライブラリのダウンロードから、スタンドアローンのjar生成まで一気にやってくれる。 インストール 公式サイトの説明そのままだけど、インストール方法。 # シェルスクリプトをダウンロードしてパスの通ったところに置く。 $ wget -O /usr/local/bin/lein http://github.com/technomancy/leiningen/raw/stable/bin/lein # 実行権限をつける。 $ chmod a+x /usr/
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
