Prolog 写経記

FrontPage

はてなダイアリーに書いている「Prolog 写経記」の目次です．

この写経記は，「Prologユーティリティライブラリ」を (ほぼ) 毎日写経しようというものです．

目次 †

• リスト処理
  • append/3
  • conc/3
  • delete/3
  • delete_all/3
  • last/2
  • member/2
  • delete_duplicates/2
  • delete_n/3
  • list/1
  • flatten/2
  • head/2
  • insert/4
  • insert_last/3
  • insert_n/4
  • join/3
  • last/2 (2回やってもうた)
  • length/2
  • lengths/2
  • list_to_atom/2
  • merge/2
  • neighbour/3
  • occurs/3
  • position/3
  • process_list/2
  • qsort/2
  • reverse/2
  • split/4
  • split_all/3
  • split_n/4
  • sublist/2
  • substitute/4
  • substitute_all/4
  • substitute_n/4
  • tail/2
• 集合操作
  • card/2
  • difference/3
  • element/2
  • equal_sets/2
  • intersect/3
  • intersect/2
  • intersects/3
  • list_to_set/2
  • subset/2
  • union/3
  • union/2
  • unions/3
• アルファベット文字列の比較
  • aeq/2
  • age/2
  • agt/2
  • ale/2
  • alt/2
• 算術演算
  • fac/2
  • abs/2
  • gcd/3
  • lcm/3
  • max/2
  • max/3
  • min/2
  • min/3
  • random/3
• カウンタ
  • counter_set/2
  • counter_dec/2
  • counter_inc/2
  • counter_is/2
• 入力ユーティリティ
  • read_line/1
  • read_list/1
• 出力ユーティリティ
  • nl/1
  • writenl/1
  • write_list_continued/2
  • write_list_delimited/2
  • write_list_of_lists/2
  • write_list_separated/3
• 画面管理
  • beep/1
  • escape/1, escape/2, escape/3
  • charset/1
  • cursor/2
  • erase/2
  • line_type/1
  • screen_background/1
  • scrolling_mode/1
  • text_attr/1
  • text/5
• 標準述語の導入
  • findall/3
  • not/1
  • numbervars/3
  • retractall/1
• 構造的手続きの導入
  • if/1
  • case/1
  • repeat/1
  • for/1
• Prolog インタプリタからのプログラム編集
  • edit/1
  • edit/0
• まとめ

番外編 †

• フィジカルトレーニング
  • 小舟に乗って川を渡る #(人 狼 羊 菜) たち
  • 3目並べ 1
  • 3目並べ 2
  • 二分探索木 (部分的に具体化)
  • フィジカルの練習問題(難) 1 2
• 差分リスト
  • その 1
• 乱数
• メモ化

書籍 †

• 和書
  • 「Prologユーティリティライブラリ」
  • 「Prologへの入門」 「AIプログラミング」 「Prolog入門」 「Prologプログラミング入門」 「Prolog(プロログ)を学ぶ―文化とその実践」 「わかる Prolog」 「Prologユーティリティライブラリ」 「論理による問題の解法―Prolog入門」
• 洋書
  • 「Logic Programming with Prolog」
  • 「Prolog Programming for Artificial Intelligence」
  • 「Programming in Prolog」 「The Art of Prolog」 「The Craft of Prolog」