Tarafından Programlar gloria.sf.net

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