Normally, the logic program P does not contain any clauses whose head (or conclusion) refers to an abducible predicate.
Нормално, логика програма P, не садржи никакве одредбе чије главе (или закључак) се односи на абдуцибле предикате. (.