Also known as a definite clause. A set of atomic literals with one positive literal. Usually written
L <- L1, ..., Ln where n>=0.