Atur cara mengikut liblogic.sf.net

libLogic adalah perpustakaan perisian untuk teorem automatik membuktikan dengan keupayaan yang dipercayai-ke-tidak sama rata untuk membuktikan dengan betul dan cekap semua kenyataan yang boleh dibuktikan dalam mana-mana teori