mantık programlama

Sistem içindeki problemlerle ilgili bilgi ve kuralların nasıl temsil edildiğini veya ifade edildiğini kontrol etmek için Boole mantığını kullanan bir programlama paradigması.