[B! memo][prolog] kiyo_hikoのブックマーク

kiyo_hiko id:kiyo_hiko

memoとprologに関するkiyo_hikoのブックマーク (4)

K-Prolog: program
kiyo_hiko 2013/10/01
同じ名前の述語であってもアリティがことなれば別ものであるから、"名前/アリティ"で述語を特定でき、そのように表す。たとえばmember(X, [X|_]). member(X, [_|Xs]) :- member(X, Xs).はmember/2

prolog

memo
リンク
Fibonacci Series Program in Prolog
kiyo_hiko 2013/07/10
fibをSWI Prologで評価したら50ぐらいで応答しなくなった。CLで前回の評価値を使いまわすような書き方したら滅茶苦茶速くなって笑った。Prologだとどうやるんだろう。

prolog

memo
リンク
制約論理型言語における制約集合の構造解析による代数制約ソルバーの効率化についての検討
kiyo_hiko 2013/04/05
読んどく // 内容と関係ないけど、規則と連言の違いがわからない。違うのかもわからん // とりあえず連言を評価する何かを作った→「sub every {my ($x, ＠xs) = ＠_; !＠_ ? return : !＠xs ? $x->() : $x->() ? rule(＠xs) : return} sub p(&) {$_[0]}

dsl

memo

logic

prolog
リンク
Prologで飯を食ってる、ビジネスにしている会社。その他Prologネタ: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。例　中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2011/02/02/5659367 NHKスペシャル「私たちは核兵器を作った」の関連で --- ここから --- Prologのことで、さっき探したら、去年くらいのメモが出てきた。ちゃんと Prologで飯を食ってる、ビジネスをにしている会社がある
kiyo_hiko 2012/08/31
Prologいろいろ

prolog

memo
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx