找了很久,终于找到非常不错的逻辑编程工具,prolog是目前世界上最流行的人工智能语言之一,人工智能是未来的趋势。