A way to solve problems using facts, rules, and reasoning.
Logic programming is like writing rules for a board game. The computer becomes the referee with a tiny whistle.
You write facts and if-then rules. It checks cases and works out the answer.
KR
Logic programming writes knowledge as facts and rules a machine can reason with.
Ontology
Ontology sets the ideas and links first. Logic programming then reasons with them.
DL
Logic programming and DL both use symbols and strict rules for reasoning.
CSP
Many CSPs can be written as rules. Logic programming can then find an answer.