Upgrade to Pro — share decks privately, control downloads, hide ads and more …

prolog_prologue #TechLunch

prolog_prologue #TechLunch

20110824(水) @ Livesense TechLunch
発表者:福田 絵里

Livesense Inc.

April 23, 2014
Tweet

More Decks by Livesense Inc.

Other Decks in Technology

Transcript

  1. (Programming in Logic) by Colmerauer in 1972 programmation en logique

    from Q-SYSTEM, Planner 非手続き型 AI Prolog Prologue ISOが 標準規格制定 (1995) 第5世代コンピュータ プロジェクト
  2. 三段論法を使って命題を証明する  大前提   AならばB  (規則)  小前提   A       (事実)  結論     B

    規則:一方が真のときはかならず他方も真になる、     という関係が成り立っている、という事実 事実:真だということがすでにわかっている命題
  3. ?- shiawase(keiko). shiawase(keiko) :- hatarakimono(masuo). hatarakimono(masuo). ゴールを実行する = ゴールの証明を試みる インタプリタ:SWI-Prolog

    ゴールが成功する = ゴールが証明される 証明することが 要請される命題を あらわしている項
  4. 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」