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 Prolog mantık programlama dili Tümevarımlı Mantık Programlama Kategori:Matematiksel mantık
Foruma hoş geldin 👋, Ziyaretçi
Forum içeriğine ve tüm hizmetlerimize erişim sağlamak için foruma kayıt olmalı ya da giriş yapmalısınız. Foruma üye olmak tamamen ücretsizdir.
Mantık programlama
- Konuyu Başlatan bullvar_katip
- Başlangıç tarihi
- Tagged users Yok
