In this task, we ask you to elaborate the sentence without changing its general meaning. You can do so by explaining further the input sentence, using more precise wording, adding qualifiers and auxiliary information etc.

[Q]: A Horn clause with exactly one positive literal is a definite clause ; a definite clause with no negative literals is sometimes called a " fact " ; and a Horn clause without a positive literal is sometimes called a goal clause .
[A]: A Horn clause with exactly one positive literal is a definite clause or a strict Horn clause ; a definite clause with no negative literals is sometimes called a unit clause , and a unit clause without variables is sometimes called a fact ; and a Horn clause without a positive literal is sometimes called a goal clause ( note that the empty clause consisting of no literals is a goal clause ) .

[Q]: Apostasy is punished by death unless the apostate agreed to return to Islam .
[A]: According to the classical doctrine , apostasy from Islam is a crime as well as a sin , punishable with the death penalty , typically after a waiting period to allow the apostate time to repent and to return to Islam .

[Q]: It is built for a particular use instead of for general-purpose use .
[A]:
An application-specific integrated circuit ( ASIC ) is an integrated circuit ( IC ) customized for a particular use , rather than intended for general-purpose use .