Horn Logic

Lecture notes on Horn Clauses and reasoning
Click http://web.stanford.edu/class/cs227/Lectures/lec08a.pdf link to open resource.