｢4.4.2 質問システムはどう働くか｣｢4.4.3 論理型プログラミングは数学的論理か｣というトピックを何度か読みましたが、いまいち理解が深まっていません。次のトピックである質問システムの実装の部分を読み進めながら、このあたりにも戻ってこようと思ってい…