Абдуктивное логическое программирование — декларативный подход к представлению знаний, использующий абдуктивное рассуждение для вывода правдоподобных объяснений наблюдений. Оно расширяет обычное логическое программирование, позволяя отдельным предикатам оставаться открытыми как возможные предположения, которые могут быть выбраны для достижения цели.
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.