datalog

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.