Dual-Horn Clause

A Dual-Horn Clause is a horn clause with at most one Negative Literal.

• See: Logic Programming.

---

---

References

2015

• http://planetmath.org/hornclause
  • QUOTE: dual-Horn clause is a clause with at most one negative literal. Horn clauses play a basic role in logic programming and are important for constructive logic.

---