Mantık programlama
Mantık programlama veya mantıksal programlama, belli bir program diline bağlı kalmaksızın mantıksal tanımlarla yapılmak istenilen, mantıksal algoritma açılımının kullanıcı tarafından bilgisayar ortamında tanımlanması esasına dayanan bir mantık çözümleme yardımlayıcısıdır. Birçok program belli çalışma düzenine sahip olsa da, olası öngörülen veya öngörülemeyen çatallamalarda ilerler veya olası öngörü bir çıkmaza girmesiyle bir paradoksal eğri oluşturur. Mantıksal programlama kuramının tam anlamıyla hayata geçirme çalışmaları devam etmektedir.