Horn Clause:

1) in Mathematical logic and logic programming, a horn clause is a logical formula of a perticuler rule.

2) a horn clause is a clause with at most one positive literal in Disjunction of literals.

3) Horn clause three type :

i) definite clause : exactly one positive literal

ii) fact : no negative literal

iii) Goal clause : no positive literal

1) in Mathematical logic and logic programming, a horn clause is a logical formula of a perticuler rule.

2) a horn clause is a clause with at most one positive literal in Disjunction of literals.

3) Horn clause three type :

i) definite clause : exactly one positive literal

ii) fact : no negative literal

iii) Goal clause : no positive literal