夏休みの三週間(8月末から9月の頭まで)の期間にはてなリモートインターンシップに参加したので参加記を書こうと思います。 講義パート インターンの最初の4日間は講義パートでした。講義パートではそれぞれ1時間ほどの講義とマイクロサービスを実装する課題…

完成したものは僕のGitHub Pagesで公開しています。 連言やカットなどの機能は省略したのでほぼ導出原理(の証明の探索)そのままになっています。 Prologの文法 Prologのプログラムはホーン節と呼ばれる述語論理の論理式の列から成ります。さらにホーン節は仮…