人工智能谓词逻辑归结问题的推理系统是很好的学习资料，可以帮助广大学子进一步学习人工智能的相关知识。