Mantıksal Programlama
Bilgisayar programlarının mantıksal kural kümeleri halinde yazıldığı ve sonuçların çeşitli mantıksal çıkarım yöntemleri kullanılarak oluşturulduğu programlama tekniği; örneğin Prolog.
Diğer terimler: chirp kütlesi, logisches Programmieren, logic programming, programmation logique, f, abdomen