abductive-logic-programming public under logic-programming 7 List Picture As a command Nothing is filed under abductive-logic-programming.