logic-theorist

重现第一个公开发布版本（1956年，IPL-I）的逻辑理论家定理证明器，这是Newell、Shaw和Simon开创性的人工智能程序，附带可运行的Python代码和文档。