はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
タグ
- すべて
- *-users.jp (1)
- .net (3)
- 1000speakers (2)
- 2ch (24)
- 30boxes (1)
- CoffeeScript (2)
- DIY (1)
- GraphQL (1)
- InfluxDB (1)
- IntelliJ (4)
- Kyoto.なんか (7)
- MogileFS (2)
- NAVER (1)
- NLP (2)
- Solr (1)
- Windows8 (1)
- actionscript (8)
- activerecord (1)
- ad (7)
- adobe (2)
- air (2)
- ajaja (1)
- ajax (40)
- akka (1)
- algorithm (25)
- amachang (5)
- amazon (7)
- android (56)
- angular.js (6)
- anime (91)
- ansible (1)
- antenna (2)
- antipop (2)
- ap (1)
- apache (9)
- api (25)
- apple (48)
- applescript (3)
- arc (1)
- art (2)
- atok (1)
- atom (5)
- atompub (5)
- audio (2)
- autobox (6)
- awk (1)
- aws (3)
- backup (1)
- bag (1)
- bash (1)
- bdd (1)
- binary (10)
- bind (1)
- bkc (1)
- bkuma (1)
- blink (1)
- blog (52)
- boofy (1)
- book (109)
- bookmar (1)
- bookmark (28)
- boost (1)
- brainf*ck (2)
- browser (1)
- business (8)
- c (26)
- c++ (17)
- calendar (2)
- camera (11)
- capn (1)
- cassandra (1)
- cat (1)
- catalyst (52)
- catalystcon (5)
- catlyst (1)
- cell (1)
- centos (1)
- cgi (4)
- chasm (1)
- chat (1)
- cheatsheet (4)
- chef (5)
- chm (1)
- cho45 (7)
- chris4403 (1)
- chrome (17)
- chumby (3)
- clannad (1)
- clojure (7)
- cocoa (3)
- cocorally (5)
- code (9)
- coderepos (8)
- coji (1)
- color (1)
- column (9)
- comic (4)
- communication (4)
- compiler (3)
- computer (2)
- cookpad (4)
- copie (5)
- copyright (2)
- coro (6)
- cpan (62)
- cpu (2)
- csharp (1)
- css (34)
- csv (1)
- ctags (1)
- culture (2)
- curry (1)
- cutie (1)
- cvs (1)
- cybozu (8)
- cybozulabs (3)
- dameMixx (1)
- dan (1)
- dankogai (12)
- dart (1)
- database (3)
- dayone (1)
- db (32)
- debian (5)
- decon (10)
- del.icio.us (3)
- delicious (1)
- design (77)
- design pattern (1)
- development (2)
- devops (2)
- diagram (1)
- digg (2)
- diigo (1)
- ditz (2)
- django (7)
- dmng (14)
- dns (1)
- docker (7)
- docomo (1)
- dom (1)
- don (1)
- dwango (2)
- eclipse (22)
- editor (9)
- education (1)
- elixir (4)
- elm (1)
- emacs (15)
- emobile (4)
- encode (1)
- engineer (3)
- english (26)
- erlagn (1)
- erlang (14)
- essay (32)
- ethna (1)
- event (27)
- eventmachine (1)
- evernote (1)
- excel (1)
- eye-fi (2)
- facebook (7)
- fastladder (3)
- favicon (1)
- fcgi (1)
- feed (4)
- ffmpeg (1)
- figure (2)
- finch (1)
- firefox (50)
- flash (9)
- flex (2)
- flickr (6)
- fluentd (7)
- flv (1)
- folksonomy (7)
- foltia (3)
- fon (1)
- font (1)
- food (5)
- fotolife (1)
- framework (38)
- freebsd (13)
- freenode (1)
- friend (1)
- friio (1)
- fse (33)
- fun (18)
- funu (1)
- fuse (1)
- gadget (3)
- gae (2)
- game (15)
- gateway (1)
- gdb (1)
- geek (3)
- gender (1)
- geo (1)
- gift (1)
- gist (2)
- git (80)
- github (22)
- gmail (16)
- go (19)
- golang (25)
- google (127)
- greasemonkey (18)
- groovy (5)
- growl (2)
- grpc (7)
- gundam (7)
- gungho (2)
- hack (3)
- hacker (11)
- hadoop (2)
- haiku (3)
- hakobe (2)
- hardware (10)
- haskell (29)
- hatena (459)
- hibernate (2)
- history (3)
- hitode909 (12)
- homebrew (2)
- html (35)
- html5 (5)
- http (3)
- ibm (2)
- ie (2)
- illust (4)
- india (4)
- intern (10)
- interview (4)
- inu (2)
- ios (22)
- iphone (24)
- ipod (15)
- ipod touch (4)
- irc (18)
- isano (4)
- iseebi (6)
- it (2)
- itunes (6)
- java (78)
- javascript (251)
- jkondo (2)
- jojo (2)
- joyhack (3)
- jpa (6)
- jquery (4)
- json (4)
- jsp (8)
- jvm (3)
- kanasan (3)
- kansai.pm (22)
- kwiki (2)
- kyoto (5)
- kyoto.js (3)
- kyotojs (13)
- kyotonanka (11)
- law (2)
- ldr (7)
- leopard (2)
- life (13)
- lifehacks (93)
- lingr (4)
- linux (24)
- lisp (19)
- live (2)
- livecoding (6)
- livedoor (23)
- livedoor clip (4)
- livedoor reader (9)
- ll (16)
- localization (2)
- lua (2)
- mac (188)
- mackerel (11)
- macports (4)
- mail (10)
- map (2)
- mapreduce (3)
- masa138 (2)
- math (31)
- me (30)
- media (2)
- memcached (7)
- mercurial (3)
- microbit (2)
- microsoft (2)
- mito (4)
- mixi (18)
- miyagawa (9)
- mobile (13)
- moose (31)
- motemen (5)
- movie (24)
- mozilla (5)
- music (24)
- mvc (6)
- mysql (13)
- nanki (3)
- nanto_vi (3)
- naoya (3)
- nayutaya (4)
- neta (2)
- network (13)
- news (4)
- nginx (4)
- nicovideo (24)
- ninjinkun (3)
- nintendo (11)
- nishio (2)
- node.js (19)
- oauth (2)
- objective-c (22)
- ocaml (2)
- oo (11)
- oop (3)
- openid (9)
- opensocial (5)
- opensource (11)
- os (6)
- p2p (4)
- pdf (3)
- perl (726)
- perl6 (5)
- php (23)
- picture (3)
- plack (5)
- plagger (134)
- playframework (4)
- podcast (6)
- poe (6)
- postfix (3)
- postgresql (6)
- presentation (31)
- programming (610)
- prolog (2)
- prototype.js (8)
- ps3 (4)
- psgi (5)
- pubsubhubbub (2)
- python (83)
- radiant (2)
- rails (52)
- rakuten (2)
- reading (2)
- redis (2)
- reference (10)
- regex (7)
- remedie (6)
- research (2)
- rest (2)
- riak (2)
- rits (8)
- rspec (3)
- rss (31)
- ruby (323)
- rust (4)
- sbm (5)
- sbt (3)
- scala (145)
- scheme (22)
- school (3)
- science (20)
- screen (10)
- script.aculo.us (2)
- se (3)
- search (13)
- secondlife (5)
- security (26)
- serif (2)
- server (17)
- service (2)
- sh (2)
- shell (8)
- shibuya.pm (15)
- sixapart (5)
- skk (4)
- sns (6)
- software (14)
- software engineering (3)
- spotify (2)
- sql (5)
- sqlite (4)
- ssb (5)
- ssh (3)
- steins;gate (16)
- study (14)
- subversion (23)
- svk (16)
- svn (7)
- swt (2)
- takesako (4)
- tdd (9)
- test (24)
- tex (11)
- thrift (2)
- thunderbird (2)
- titanium (7)
- tomcat (10)
- tool (30)
- tools (2)
- trac (3)
- tumblr (10)
- turbogears (2)
- twisted (2)
- twitter (62)
- ubuntu (2)
- ugomemo (61)
- ujihisa (4)
- unicode (9)
- unix (29)
- vagrant (2)
- vi (4)
- vim (70)
- vimperator (16)
- vip (4)
- vpn (2)
- w-zero3 (11)
- wassr (2)
- web (164)
- web+db (3)
- web2.0 (49)
- webkit (2)
- webservice (18)
- websocket (3)
- wii (10)
- wiki (13)
- wikipedia (4)
- willcom (2)
- windows (9)
- windowsmobile (4)
- winny (5)
- work (83)
- writing (7)
- xcode (2)
- xml (11)
- xpath (2)
- xs (5)
- xul (3)
- yahoo (6)
- yaml (6)
- yapc (13)
- yapcasia2011 (2)
- yhara (15)
- youtube (55)
- yui (3)
- zsh (18)
- あとで読む (82)
- けいおん！ (2)
- これはすごい (35)
- これはひどい (2)
- それPla (4)
- はてな (7)
- はてなダイアリー (2)
- はてなブックマーク (25)
- ひぐらしのなく頃に (2)
- ひだまりスケッチ (8)
- まとめ (29)
- よつばと (2)
- アイドルマスター (3)
- アイマス (2)
- アニメ (2)
- エイプリルフール (6)
- エヴァ (2)
- オタク (2)
- ココ (6)
- ソフトウェア工学 (5)
- ニコニコ動画 (7)
- ネタ (27)
- ハヤテのごとく (2)
- バソキヤ (3)
- マンガ (2)
- ロボ (2)
- 会場 (2)
- 伺か (2)
- 便利 (2)
- 初音ミク (12)
- 勉強 (2)
- 勉強会 (21)
- 化物語 (3)
- 壁紙 (2)
- 声優 (2)
- 夏課題 (2)
- 女医ハック (6)
- 引越 (6)
- 文字コード (10)
- 日本 (5)
- 暗号 (2)
- 未踏 (5)
- 涼宮ハルヒ (4)
- 涼宮ハルヒの憂鬱 (25)
- 田村ゆかり (5)
- 研究 (32)
- 社会 (3)
- 素材 (2)
- 良い話 (20)
- 著作権 (11)
- 設計 (3)
- 論文 (3)
- 食 (2)
- perl (726)
- programming (610)
- hatena (459)
- ruby (323)
- javascript (251)
- mac (188)
- web (164)
- scala (145)
- plagger (134)
- google (127)
prologに関するhakobe932のブックマーク (2)
-
hakobe932 2006/08/14
- ruby
- prolog
リンク -
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx