人工智能领域中的1阶horn子句的推理，Java实现，可以实现最基础的功能，学习的好材料。-Field of artificial intelligence in the first-order reasoning horn clauses, Java to achieve, you can achieve the most basic functions, a good learning materials.