answer-set-programming public under logic-programming 7 List Picture As a command %3 n0 answer-set-programming n1 logic-programming n1->n0