Metadata
Author: Literature
Data
English[en]
Horn clauses like this one with exactly one positive literal are called definite clauses.
Spanish[es]
Las cláusulas de Horn como ésta, con exactamente un literal positivo, se denominan cláusulas positivas.