「導出原理」の版間の差分

→‎参考文献: 参考文献を追加
(→‎定義: ホーン節の定義をホーン節の項目に移動させた。)
(→‎参考文献: 参考文献を追加)
== 参考文献 ==
* {{cite book | 和書 | title=論理と意味 | author=長尾 真、淵 一博 | series=岩波講座 情報科学 | volume=7 | publisher=岩波書店 | year=1983 | ref=長尾(1983) }}
* {{cite book | 和書 | title=計算論理に基づく推論ソフトウェア論 | author=山崎 進 | year=2000 | publisher=コロナ社 | ref=山崎(2000) }}
* {{cite book | 和書 | author=D.ヒルベルト、W.アッケルマン | editor=伊藤誠(訳) | title=記号論理学の基礎 | year=1954 | publisher=大阪教育図書社 | ref=HA(1954) }}
* {{citation | author=Robert Kowalski | title=Predicate Logic as Programming Language | year=1974 | url=http://www.doc.ic.ac.uk/~rak/papers/IFIP%2074.pdf | ref=Kowalski(1974) }}