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
2.4k
株式会社リブセンス・転職会議 採用候補者様向け資料
livesense
PRO
0
51
株式会社リブセンス 会社説明資料(報道関係者様向け)
livesense
PRO
0
1.5k
データ基盤の負債解消のためのリプレイス
livesense
PRO
0
440
26新卒_総合職採用_会社説明資料
livesense
PRO
0
11k
株式会社リブセンス会社紹介資料 / Invent the next common.
livesense
PRO
1
37k
26新卒_Webエンジニア職採用_会社説明資料
livesense
PRO
1
13k
中途セールス職_会社説明資料
livesense
PRO
0
260
EM候補者向け転職会議説明資料
livesense
PRO
0
130
Other Decks in Technology
See All in Technology
クラウドセキュリティを支える技術と運用の最前線 / Cutting-edge Technologies and Operations Supporting Cloud Security
yuj1osm
2
310
Webブラウザ向け動画配信プレイヤーの 大規模リプレイスから得た知見と学び
yud0uhu
0
230
Webアプリケーションにオブザーバビリティを実装するRust入門ガイド
nwiizo
5
710
未経験者・初心者に贈る!40分でわかるAndroidアプリ開発の今と大事なポイント
operando
3
320
自作JSエンジンに推しプロポーザルを実装したい!
sajikix
1
170
20250910_障害注入から効率的復旧へ_カオスエンジニアリング_生成AIで考えるAWS障害対応.pdf
sh_fk2
3
200
5年目から始める Vue3 サイト改善 #frontendo
tacck
PRO
3
210
フルカイテン株式会社 エンジニア向け採用資料
fullkaiten
0
8.7k
Terraformで構築する セルフサービス型データプラットフォーム / terraform-self-service-data-platform
pei0804
1
120
roppongirb_20250911
igaiga
0
190
LLMを搭載したプロダクトの品質保証の模索と学び
qa
0
1k
ZOZOマッチのアーキテクチャと技術構成
zozotech
PRO
3
1.4k
Featured
See All Featured
The Pragmatic Product Professional
lauravandoore
36
6.9k
Fashionably flexible responsive web design (full day workshop)
malarkey
407
66k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
7
840
Become a Pro
speakerdeck
PRO
29
5.5k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.4k
RailsConf 2023
tenderlove
30
1.2k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
33
2.4k
jQuery: Nuts, Bolts and Bling
dougneiner
64
7.9k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
GraphQLとの向き合い方2022年版
quramy
49
14k
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