Abductive logic programming is a computational framework that extends normal logic programming with abduction.

• 溯因的这种用法不是直接的，因为向其他命题公式集增加命题公式只能使矛盾更糟糕。