Abduktive Logikprogrammierung ist ein deklarativer Ansatz der Wissensrepräsentation, der abduktives Schließen nutzt, um plausible Erklärungen für Beobachtungen abzuleiten. Sie erweitert die gewöhnliche Logikprogrammierung, indem ausgewählte Prädikate als mögliche Annahmen offenbleiben können, die zur Erfüllung eines Ziels gewählt werden.
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.