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

prolog_prologue #TechLunch

prolog_prologue #TechLunch

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

Avatar for Livesense Inc.

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」