Prolog 写経記 - koichik
最新の20件2018-10-21 Will Jonas Brothers Concert Tickets Break The Bank 2018-10-20 This Is It Tickets To Be Consumed On Sunday 2018-10-12 Amazon Coupon Deals Released Every Day Through December 23, 2011 2009-06-11 PukiWiki/1.4/Manual PukiWiki/1.4 FormattingRules 2008-07-18 Prolog 写経記 2007-06-14 pukiwiki 2007-02-14 pukiwiki/1.4/manual/plugin/o-r pukiwiki/1.4/manual/plugin/s-u pukiwiki/1.4/manual/plugin
Prolog PDF
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
Prolog な本を積んでみた - 日記
Smalltalk な本を積んでみた にインスパイヤされて Prolog な本を積んでみた (普段から積ん読ですが)． 一部 GHC や Concurrent Prolog などの Prolog 拡張言語や論理プログラミング周辺の本も混じってますがより分けるのが面倒なのでまとめて． 自分はニワカなので和書の古い本が少ない (奥の列の上半分くらい) ですが，2ch の Prolog スレには自分の数倍持ってそうな人がいます．まだまだ精進が足りないようです． 積んだ書籍へのリンクを貼るのが正当なようなので追記しました． 並びは適当にカテゴライズしてだいたい出版社ごとに表紙の色で並べたので積んだ順番とは異なります． なんか一冊数が合わないと思ったら「Concurrent Prolog: Collected Papers」は「2 vol. set」なのであった． そして一冊発掘し損ねていたことが発
prolog2
プログラム中の \+ X=Y がないと, kyoudai(taro,taro) も成立してしまう. 実際には組み込み述語として単一化できないことを調べる "\=" が用意されており, \+ X=Y の代わりに X\=Y と書いても良い. 否定は次のように定義できる. \+ X :- X,!,fail. ... (1) \+ X. ... (2) ! カット・オペレータ (cut operator). OR 関係にある代替節を忘れる. 捨てられる代替節の範囲は, カット・オペレータが含まれる本体の中の, カット・オペレータより 左側の目標を証明する過程で残された代替節, および, カット・オペレータが含まれる節の頭部と同じ述語を頭部にもつ 代替節である. fail必ず失敗する組み込み述語. たとえば \+ p(a) を目標とすると, まず (1) の節の本体の証明を試みる. つまり p(a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://wps.aw.com/wps/media/objects/5771/5909832/PDF/Luger_0136070477_1.pdf
Amazon.co.jp: Prolog‐KABA入門 (岩波コンピュータサイエンス): 悦哉,柴山, 達也,萩野, 貴司,桜川: 本
Amazon.co.jp: プログラミング言語の概念と構造 新装版: ラビセシィ (著), Sethi,Ravi (原名), 靖,神林 (翻訳): 本
Amazon.co.jp: 制約論理プログラミング (知識情報処理シリーズ 別巻2): 淵一博 (監修), 文雄,溝口 (編集), 康一,古川 (編集), ラッセ,ジャン・ルイ (編集): 本
Amazon.co.jp: RUN/PROLOG入門―データベースとしての活用と述語解説 (ビジネス叢書): 小島政行: 本
Amazon.co.jp: Prolog Programming for Artificial Intelligence: Bratko, Ivan: 本
Amazon.co.jp: Prologユーティリティライブラリ: ボグダンフィリピッチ (著), 誠,中島 (翻訳), 哲郎,伊藤 (翻訳): 本
Amazon.co.jp: Prologへの入門 (PrologとAI): Ivan Bratko (著), 憲広,安部 (翻訳): 本
http://nojiriko.asia/
Amazon.co.jp：知識と推論
Amazon.co.jp: Prologで作る数学の世界: Prologそして集合-位相-群: 飯高茂: 本
Amazon.co.jp: Prolog(プロログ)を学ぶ―文化とその実践: 杉崎昭生: 本
Amazon.co.jp: Prologの技芸: 松田利夫: 本