GLORIA 1.1.2

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda GLORIA

Bu proje, bir aracı için mantık programlama tabanlı, muhakeme motoru uygulamakla ilgilidir. Kowalski ve Fung tarafından Prolog'da yazılmış herhangi bir zaman algoritması olarak iff geçirmez prosedürlerin uygulanmasıyla başladık.