Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
http://www14.ocn.ne.jp/~goyo/gy_chap01.html
私はこの４月(2008年)、６７才を迎えました。 仕事をリタイアして１年が経過しました。 年金生活と共にある暇さかげんの中で、この稿を思い立ちました。 ブログの片隅に置かせて頂きたいと思います。 （梧葉<goyo>と名のることにしました。また３年早く古希<koki>を使うこともあります。） 私とPrologとの出会いは、1985年頃でしょうか、20年も昔です。 （とは言え、私はすでに ４５才を過ぎていました）。 MS-DOS 上での Prolog KABA に出会い、何も分からないままにその奇妙な言語に惹かれました。 それより、１０年位ですか、時代は、第５世代コンピュータ、人工知能、AI という言葉に踊らされました。 昨年(2007年)夏頃でです、７〜８年離れていた世界への私なりの再挑戦を開始しました。 年寄りの僅かなお小遣いの中、中古パーツを買い集め、骨董品的な我が家
Prolog Programming: List Processing (in Japanese)
Prologプログラミング: リスト処理 リスト Prolog では，リスト (list) と呼ばれるデータ構造を使って， 任意の長さのデータ列を表すことができます． 以下のものは，リストの例です． [jan, 31, 1957] [X, 11, [R, 5]] [] 最初の例は，3つの要素 jan, 31, 1957 からなるリストです． 2番目の例も 3つの要素からなるリストです． 3番目の要素が，またリストになっています． 最後の例は，要素のないリスト(空リスト)です． リストの一般形は [要素1, 要素2, ..., 要素n] です． 要素としては，任意の項が使えます． もちろん要素がまたリストであってもかまいません． 要素の数 n は，リストの長さと呼ばれます． 長さ 0 のリストは空リストと呼ばれます． 実はリストも前に説明した項の一種です． write_canonical を
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
macbookにswi-prologをインストール
初Prolog sudo port install swi-prolog linuxだとplなんだけどmacだとswiplというコマンド。 parent(kzfm,yuki). parent(uko,yuki). parent(ako,uko). parent(yum,kzfm). parent(chiyo,yum). parent(kzfm,hana). parent(uko,hana). 上のファイルをtest.swiという名前で保存しておいて、 swipl -f test.swi で起動 ?- parent(A,yuki). A = kzfm ; A = uko . ?- parent(A,B),parent(B,yuki). A = ako, B = uko ; A = yum, B = kzfm ; false. parentのparentつまり祖父母だ。もちろん再帰もできる。O
SWI-Prolog for MacOS X
This document briefly explains the MacOS X specific issues for SWI-Prolog. This is by no means a manual or Prolog tutorial. The reference manual is available online or can be downloaded in HTML and PDF format from the SWI-Prolog website, which also provides links to books, online tutorials and other Prolog related material. Table of Contents 1 Introduction -- Darwinports 2 Installation 2.1 Using D
Reversi in GNU prolog - MAYAH
gprolog で簡単な reversi を作ります。リバーシ(オセロ)のルール、gprolog の基本的な知識、alpha-beta pruning の知識を要求します。 もともと大学の課題なので、データ構造等は結構適当に定められてしまっています。私が実際に書いたのは、yuha.pl のみ。 tplace.pl tplace.pl は、reversi の実装のための、簡単な gprolog のプログラムです。今回は、これを用いて reversi を実装することにします。以下、tplace.pl を簡単に説明し、それを使った簡単な思考ルーチンの実装である mak.pl を用いて、対戦させるところまでを一通り見ていきましょう。 ここでは、reversi の盤面を、次の様なリストで表します。 tplace.pl には、次のようなサービス関数(?)が含まれています。 mak.pl は、rever
魔術師本(SICP)、ガウディ本(CTMCP)。どっちを先に読むべきか: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- ブログに、４０の手習いさんから、質問がありました。 http://iiyu.asablo.jp/blog/2006/06/01/389616#c394788 をみてください。 「今SICPを40歳を目前にして読み始めてますが（本当に読み始めたところです） 、お勧めのCTMCPとどちらを先に読む
「計算機プログラムの構造と解釈(SICP)」を読み終えて by なつたん - なつたん
ひげぽんさんの所をパクってテンプレートにして書いてみました。 練習問題をスキップしつつ、私も約半年でで読み終えました。とても楽しい日々を過ごすことができました。 SICPを読む過程で得たもの ・遅延評価とstream ・制約プログラミング、ロジックプログラミング、amb ・Emacs(Meadow)＋gauche＋Quackの組み合わせ便利 ・同じ事を表現するのに、抽象度を上げたり、下げたりできること。 ・手加減してあればLispのソースも追えるようになった。手加減していないのは駄目。 ・Lisp特有の、手続きを評価する→S式ができる→また評価する→S式ができる、という気持ち悪い再帰の存在。 ・SICP読み仲間ではないけどいろんなblogつながり。組み込みとFPGAだけでない、いろんな世界がある事をあらためて感じた。 SICPを読みはじめたときの動機を振り返る ・関数型言語について Lis
Prolog Tutorial -- Contents
Introduction 1. How to Run Prolog 2. Sample Programs -- Descriptions 2.1 Map colorings 2.2 Two factorial definitions 2.3 Towers of Hanoi puzzle 2.4 Loading programs, editing programs 2.5 Negation as failure 2.6 Tree data and relations 2.7 Prolog lists and sequences 2.8 Change for a dollar 2.9 Map coloring redux 2.10 Simple I/O 2.11 Chess queens challenge puzzle 2.12 Finding all answers 2.13 Truth
Prolog Cafe
Prolog Cafe is a Prolog-to-Java source-to-source translator system. Prolog programs are first translated into Java programs via the WAM (Warren Abstract Machine), and then those programs are compiled by a usual Java compiler such as SUN's JDK SE. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. For example, from the Java side, the translated code c
Links for Prolog in Java
A Prolog Compiler built in Java for Intelligent Mobile Agent Scripting and Internet Programming
The GNU Prolog web site
Table of contents What is GNU Prolog ? Features How does GNU Prolog work ? History Supported Platforms & last changes Manual Download Contributions and related developments Mailing lists Reporting bugs What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binari
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ICSS.Bratko: Prolog Programming f_p3 (3rd Edition) (International Computer Science Series): Bratko, Ivan: 本
Why Learning Prolog Can Make You a Better Programmer
[制約プログラミング落穂拾い] はじめに：NDiSと制約プログラミング - NDiS Tech
Comparison of Prolog implementations - Wikipedia