Horn clauses are of interest because they are able to express implication of one variable from a set of other variables.
این‌گونه عبارت‌ها موردتوجه هستند چون می‌توانند استلزام یک متغیر از مجموعه‌ای از متغیرها را بیان کنند.