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

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