» Etiket
logic-programming
1 yayın6–12 Tem 2026
Akıl Yürütme Motoru 114'ü Asal Kanıtladı: Bir Negasyon Hatası
Açık kaynaklı zelph motorunda bir negasyon hatası 114'ü asal sayı olarak kanıtladı; forward chaining'deki ırk koşulu ve stratifikasyonla çözümü anlatılıyor.