2014-06-01から1ヶ月間の記事一覧
4.4章のサンプルを動かしたり、問題を解く為に既に写経してあるけど、中身を読んだ訳ではないので。 ノート 4.4.4.1 The Driver Loop and Instantiation ドライバーループは入力がassert!で始まれば事実かルールを保存、そうでなければクエリとして扱う。qev…
4.4章のサンプルを動かしたり、問題を解く為に既に写経してあるけど、中身を読んだ訳ではないので。 ノート 4.4.4.1 The Driver Loop and Instantiation ドライバーループは入力がassert!で始まれば事実かルールを保存、そうでなければクエリとして扱う。qev…