Une clause définie est une clause de Horn contenant exactement un littéral positif. La notion englobe donc les clauses de Horn strictes et les clauses de Horn positives. Dans le cadre de la SLD-résolution, le littéral positif d`une clause définie est appelée la tête, la conclusion ou le bu...