Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
prolog_prologue #TechLunch
Search
Livesense Inc.
PRO
April 23, 2014
Technology
0
60
prolog_prologue #TechLunch
20110824(水) @ Livesense TechLunch
発表者:福田 絵里
Livesense Inc.
PRO
April 23, 2014
Tweet
Share
More Decks by Livesense Inc.
See All by Livesense Inc.
27新卒_Webエンジニア職採用_会社説明資料
livesense
PRO
0
320
株式会社リブセンス・転職会議 採用候補者様向け資料
livesense
PRO
0
20
株式会社リブセンス 会社説明資料(報道関係者様向け)
livesense
PRO
0
1.4k
データ基盤の負債解消のためのリプレイス
livesense
PRO
0
400
26新卒_総合職採用_会社説明資料
livesense
PRO
0
9.1k
株式会社リブセンス会社紹介資料 / Invent the next common.
livesense
PRO
1
28k
26新卒_Webエンジニア職採用_会社説明資料
livesense
PRO
1
12k
中途セールス職_会社説明資料
livesense
PRO
0
250
EM候補者向け転職会議説明資料
livesense
PRO
0
120
Other Decks in Technology
See All in Technology
成長し続けるアプリのためのテストと設計の関係、そして意思決定の記録。
sansantech
PRO
0
120
Backlog ユーザー棚卸しRTA、多分これが一番早いと思います
__allllllllez__
1
150
fukabori.fm 出張版: 売上高617億円と高稼働率を陰で支えた社内ツール開発のあれこれ話 / 20250704 Yoshimasa Iwase & Tomoo Morikawa
shift_evolve
PRO
2
7.8k
SmartNewsにおける 1000+ノード規模 K8s基盤 でのコスト最適化 – Spot・Gravitonの大規模導入への挑戦
vsanna2
0
130
LLM時代の検索
shibuiwilliam
2
160
いつの間にか入れ替わってる!?新しいAWS Security Hubとは?
cmusudakeisuke
0
130
ビズリーチにおけるリアーキテクティング実践事例 / JJUG CCC 2025 Spring
visional_engineering_and_design
1
120
MUITにおける開発プロセスモダナイズの取り組みと開発生産性可視化の取り組みについて / Modernize the Development Process and Visualize Development Productivity at MUIT
muit
1
16k
さくらのIaaS基盤のモニタリングとOpenTelemetry/OSC Hokkaido 2025
fujiwara3
3
440
LangSmith×Webhook連携で実現するプロンプトドリブンCI/CD
sergicalsix
1
230
american aa airlines®️ USA Contact Numbers: Complete 2025 Support Guide
aaguide
0
150
Should Our Project Join the CNCF? (Japanese Recap)
whywaita
PRO
0
340
Featured
See All Featured
Docker and Python
trallard
44
3.5k
Producing Creativity
orderedlist
PRO
346
40k
Fashionably flexible responsive web design (full day workshop)
malarkey
407
66k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
6
300
Art, The Web, and Tiny UX
lynnandtonic
299
21k
Product Roadmaps are Hard
iamctodd
PRO
54
11k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
54k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Site-Speed That Sticks
csswizardry
10
690
Six Lessons from altMBA
skipperchong
28
3.9k
Writing Fast Ruby
sferik
628
62k
How STYLIGHT went responsive
nonsquared
100
5.6k
Transcript
Prolog
(Programming in Logic) by Colmerauer in 1972 programmation en logique
from Q-SYSTEM, Planner 非手続き型 AI Prolog Prologue ISOが 標準規格制定 (1995) 第5世代コンピュータ プロジェクト
論理型計算モデル 命題を証明する、 ということを基本的な動作とする 計算モデル 「三段論法を使って命題を証明する、ということを 基本的な動作とする計算モデル」を提供 Prolog
三段論法を使って命題を証明する 何らかの方法によって、 正しいか正しくないかということを 判定することのできる言明 疑問文、 命令文、 感動文ではない文 例)「Room Bは広い。」
「Room Cはいつも空いていない。」 「みんなが幸せだと私も幸せだ。」
三段論法を使って命題を証明する 大前提 AならばB (規則) 小前提 A (事実) 結論 B
規則:一方が真のときはかならず他方も真になる、 という関係が成り立っている、という事実 事実:真だということがすでにわかっている命題
Prologのプログラムは公理系を記述する。 命題を証明するための 前提として使われる、 規則または事実の集合
Prologのプログラムを実行する = 質問の証明を試みる 証明することが要請される命題 プログラムが記述する公理系に基づいて、 三段論法を使って、 質問の証明を試みる。
Prologのプログラムが公理系を記述する。 → 述語を定義する。 「Joe Hewitt氏はFirebugを生み出した。」 例 ものの性質、 またはものとものとの あいだの関係 「Joe
Hewitt氏は偉大である。」 = 規則または事実を定義する。
事実 「Joe Hewitt氏は偉大である。」 事実 「Joe Hewitt氏はFirebugを生み出した。」 idai(hewitt). umidashita(firebug, hewitt).
事実 「いい天気である。」 iitenki. 規則 「増雄が働き者ならば恵子は幸せである。」 shiawase(keiko) :- hatarakimono(masuo). 頭部 本体
?- shiawase(keiko). shiawase(keiko) :- hatarakimono(masuo). hatarakimono(masuo). ゴールを実行する = ゴールの証明を試みる インタプリタ:SWI-Prolog
ゴールが成功する = ゴールが証明される 証明することが 要請される命題を あらわしている項
Easter egg in SWI-Prolog ?- X. % ... 1,000,000 ............
10,000,000 years later % % >> 42 << (last release gives the question) Google search 「answer to life the universe and everything」
次回テーマ AIプログラミング + Prolog