Program menurut liblogic.sf.net

libLogic adalah perpustakaan perangkat lunak untuk teori otomatis yang membuktikan dengan kemampuan yang diyakini tidak tertandingi untuk membuktikan dengan benar dan efisien semua pernyataan yang dapat dibuktikan dalam teori