lmqqqqqq/Clause-Resolution-Project

This is my project of Artificial Intelligence Course(100579) in Tongji University

C++