Prolog

Prolog な本を積んでみた

Smalltalk な本を積んでみた にインスパイヤされて Prolog な本を積んでみた (普段から積ん読ですが). 一部 GHC や Concurrent Prolog などの Prolog 拡張言語や論理プログラミング周辺の本も混じってますがより分けるのが面倒なのでまとめて.自分はニワカ…

続々 Prolog で FizzBuzz

田辺さんからコメントいただきました. 触発されて、modを使用しない版を書いてみました。いかがでしょうか。 「いかがでしょうか」と言われてもですね,そんなことされたら「剰余を求めるのに 10 秒かかる」という環境を前提に,それでも剰余を使って並行論…

続 Prolog で FizzBuzz

コメントでご指摘いただいたとおり,前に書いた Prlog 版 FizzBuzz は最初の (っていうか唯一の) 解を見つけた後,別の解を探しに行くと無限ループというかスタックオーバーフローになります. 心より恥じる.全解探索するつもりが毛頭なかったのですっかり…

Prolog で FizzBuzz

http://www.aoky.net/articles/jeff_atwood/why_cant_programmers_program.htm via http://d.hatena.ne.jp/yad-EL/20070508/p1 Prolog でやってみた. fizzbuzz(N, L) :- fizzbuzz(N, L, []). fizzbuzz(0, L, L). fizzbuzz(N, L, D) :- sub(N, V), N1 is N -…

Prolog 写経記 その 93 edit/0

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 92 edit/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 91 for/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 90 repeat/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog でメモ化

ちょっと前に,「メモ化」なるものがそこかしこで話題になっていました. んで,すっかり乗り遅れてますが,Prolog でちょっとやってみようかと. でもでも,メモ化はともかく不動点の方は脳みそがとけちゃうので無理っぽい.何言ってるか分からないんだもの…

Prolog での乱数

そんなわけで (どんなわけで?),さっそく乱数の話題. 先のまとめで書いたように,写経していて一番激しく落胆したのが乱数を生成する次の述語です. random(Min, Max, Num) :- integer(Min), integer(Max), Min =< Max, retract(seed(S)), Num is S mod (M…

Prolog 写経記 まとめ

そんなわけで (どんなわけで?),無事に写経を終えたわけなので,簡単にまとめを. まず,いい意味で一番衝撃だったのはこれ. delete(X, List1, List2) :- conc(L1, [X|L2], List1), conc(L1, L2, List2).リスト List1 から要素 X を削除するのですが,それ…

Prolog 写経記 その 89 case/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 88 if/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 87 retractall/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 86 numbervars/3

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 85 not/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 84 findall/3

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 83 text/5

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 82 text_attr/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 81 scrolling_mode/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 80 screen_background/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 79 line_type/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 78 erase/2

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 77 cursor/2

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 76 charset/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 75 escape/1, escape/2, escape/3

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 74 beep/1

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 73 write_list_separated/3

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 72 write_list_of_lists/2

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…

Prolog 写経記 その 71 write_list_delimited/2

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.Prologユーティリティライブラリ作者: ボグダンフィリピッチ,中島誠,伊藤哲郎出版社/メーカー: 海文堂出版発売日: 1990/08メディア: 単行本購入: 4人 クリック: 33回この商品を含むブログ (68件) を…