Third edition of Artificial Intelligence: foundations of computational agents, Cambridge University Press, 2023 is now available (including the full text).
5.4.4 Reasoning with Assumptions and Horn Clauses
This section presents a bottom-up implementation and a top-down implementation for finding conflicts in Horn clause knowledge bases.
