La programmation par logique abductive (ALP) est un cadre de développement de haut niveau qui peut être utilisé pour résoudre les problèmes basé sur le raisonnement abductif.