What is Logical Programming?

Question

I heard about several programming techniques like procedural, object oriented and functional programming. Each one has advantages and side effects. C , Java and Haskel are the best examples about the three types. But there is one more type. Called Logical programming. Do you guys know anything about it? And which Language uses this technique? Thank you.

Answer 1

https://en.m.wikipedia.org/wiki/Logic_programming

To summarize, it's a programming paradigm based on premises(sentences) about a specific problem, then through logical inference, you end up with a solution from that, the most popular language i think, it's Prolog, it's IDE visual Prolog is easy to use and comes with a lot of examples from simple to complex.