Thus abductive explanations extend the logic program P by the addition of full or partial definitions of the abducible predicates.
Тако абдуктивна објашњења продужују логику програма P додавањем потпуним или делимичним дефиницијама абдуцибле предиката.