实现了候选消除算法，他是人工智能中的一种重要算法。通过建立G，S空间来对数据进行推理。本程序附带有测试数据和程序说明。-Candidate to achieve the elimination of algorithms, artificial intelligence, he is an important algorithm. Through the establishment of G, S space to the data reasoning. This procedure comes