Dual-Horn Clause
Jump to navigation
Jump to search
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.