人工智能开发语言手册SWI-Prolog-7.2.3。机器学习，机器推理。