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.
Click https://en.wikipedia.org/wiki/Logic_programming link to open resource.