logic-programming

public under computer-science 300, declarative-programming 9

List Picture As a command

• abductive-logic-programming
• answer-set-programming
• concurrent-logic-programming
• constraint-logic-programming
• datalog
• functional-logic-programming
• inductive-logic-programming