logic-programming public under computer-science 300, declarative-programming 9 List Picture As a command %3 n0 logic-programming n3 abductive-logic-programming n0->n3 n4 answer-set-programming n0->n4 n5 concurrent-logic-programming n0->n5 n6 constraint-logic-programming n0->n6 n7 datalog n0->n7 n8 functional-logic-programming n0->n8 n9 inductive-logic-programming n0->n9 n1 computer-science n1->n0 n2 declarative-programming n2->n0