द्वारा कार्यक्रम gloria.sf.net

यह परियोजना एक एजेंट के लिए तर्क-प्रोग्रामिंग आधारित, तर्क इंजन को लागू करने के बारे में है। हमने प्रोलॉग में लिखे गए किसी भी समय एल्गोरिदम के रूप में कोवालस्की और फंग द्वारा आईएफएफ-प्रूफ प्रक्रियाओं के कार्यान्वयन के साथ शुर