Abductive Logic Programming is a declarative knowledge-representation approach that uses abductive reasoning to infer plausible explanations for observations. It extends ordinary logic programming by allowing selected predicates to remain open as possible assumptions that can be chosen to satisfy a goal.
A high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates.