Home
Search
Index
Definify.com
Definition
2024
Horn_clause
Horn clause
English
Noun
Horn
clause
(
plural
Horn clauses
)
(
logic
)
A
clause
(
disjunction
of
literals
) with at most one
positive
literal.
Etymology
After the logician
Alfred Horn
.
Similar Results