Log in or Sign up to track your course progress, gain access to final exams, and get a free certificate of completion!
Wikipedia: "Logic Programming"
Read this article on logic programming. Make sure you understand the differences between abductive logic, metalogic, constraint logic, concurrent logic, and inductive logic, higher-order logic, and linear logic programming.