Jelaskan Konsep dari Logika pemrograman

Maarten van Emden dan Robert Kowalski mendefinisikan tiga semantik untuk program logika klausa Horn, model-theoretic, fixed-point, dan bukti teoritis, dan menunjukkan bahwa mereka lebih ekuivalen.