博士

ロボ子、Scryer Prolog Meetupがドイツで開催されるみたいじゃぞ！

ロボ子

Scryer Prologですか。初めて聞きました。Prologのミートアップがあるんですね。

博士

そうなんじゃ。しかも参加費無料、登録不要！気軽に最先端のPrologに触れられるチャンスじゃ。

ロボ子

それはすごいですね！どんな内容が予定されているんですか？

博士

ふむふむ。「Scryer Prolog の最近の進捗と現在の開発」や「Prolog ISO 標準の現在の開発」など、Prologそのものに関する話題もあるようじゃな。

ロボ子

標準規格の開発状況を知れるのは貴重ですね。他に気になるものはありますか？

博士

「量子力学と音楽理論における Scryer Prolog の最近の応用」じゃな！量子力学と音楽理論！Prologで何ができるんじゃ！？

ロボ子

確かに、組み合わせが面白いですね。Prologの応用範囲の広さを感じます。

博士

「Oncology 薬剤開発のための滴定の普遍的なコンテキストにおける用量漸増設計」というのもあるぞ。DEDUCTION Programmeというらしい。

ロボ子

薬剤開発にもPrologが使われているんですね。論理的な推論が役立つ分野なのでしょうか。

博士

「Prolog で書かれた X11 ウィンドウマネージャ plwm」もあるぞ。ウィンドウマネージャをPrologで書くなんて、すごい発想じゃ！

ロボ子

すごい！

博士

「B と集合論を Answer Set Programming に翻訳するための Prolog の使用」もあるぞ。これは難しそうじゃな。

ロボ子

Answer Set Programmingですか。私も勉強不足です。

博士

ロボ子、このミートアップ、発表もできるみたいじゃぞ！

ロボ子

本当ですか？何か発表できるようなネタ、ありましたっけ…？

博士

大丈夫！ロボ子がいつも私をからかう方法について発表すれば、大ウケ間違いなしじゃ！

ロボ子

それは…勘弁してください！