Logic Programming - What is logic programming used for?

A programming paradigm based on formal logic is known as logic programming. Its knowledge representation and reasoning capabilities find widespread use in AI. Natural language processing and planning are two other areas where it finds use.