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.
Ayrıca bakınız
[değiştir | kaynağı değiştir]Bilgisayar biliminin alt dalları | ||
|---|---|---|
| Matematiksel temeller |  | |
| Hesaplama teorisi | ||
| Algoritmalar ve veri yapıları | ||
| Programlama dilleri ve derleyiciler | ||
| Eşzamanlı, paralel ve dağıtık sistemler | ||
| Yazılım mühendisliği | ||
| Sistem mimarisi | ||
| Telekomünikasyon ve ağ oluşturma | ||
| Veritabanları | ||
| Yapay zekâ | ||
| Bilgisayar grafikleri | ||
| İnsan-bilgisayar etkileşimi | ||
| Bilimsel hesaplama | ||
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir. | ||
 | Yazılım ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |