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

SLPG (अर्धस्वचालित तर्क कार्यक्रम जनरेटर) एक अकादमिक उपकरण है जिसका लक्ष्य एक व्यवस्थित पद्धति का उपयोग कर प्रोलॉग कार्यक्रमों को विकसित करने के लिए अनुभवहीन तर्क प्रोग्रामर की मदद करना है।