TurboProlog工具库译潘金贵译陈兆乾译谢俊元译王锡江 南京大学出版社南京

TurboProlog工具库译潘金贵译陈兆乾译谢俊元译王锡江 南京大学出版社南京

TURBOPROLOG 工 具 库 潘金贵陈兆乾 编译 谢俊元王锡江 陈世福审校 1987南京人工智能是50年代兴起的一门新兴学科。30多年来,研究的进展和取得的成就都十分惊 人。因此,它被誉为本世纪的重大科学技术成就之一.人工智能是计算机科学的一个重要分支,它的研究领域十分广泛,涉及模式识别、物景 分析、自然语言理解、数操库的智能检索、博弈、自动定理证明、自动。随着人工智能的基本理论和技术的深入研究和广泛应 用,它不仅正在深刻地影响着计算机科学的其它领域,而且对信息科学、控制科学、系统科 学、数学、心理学、电子学、生物学、医学、语言学和哲学等学科产生愈来愈深烈的影响,并带来巨大的社会经济效益。简介了TurboProlog语言(1版)及其菜单系统,以帮助读者快速掌握TurboProlog系 统的主要使用方法,若要进一步了解TurboProlog语言系统,可阅读参考文献(1～3].第三章介绍了TurboPrologToolbox的安装,第国章到第九章详细介绍了各种工具 及其使用方法。希望全面了解的读者可以顺序阅读这些章节,对于急需使用某一方面工具的 读者,完全可以先阅读最适合自已需要的部些章节.最后,我们给出了“参考指南”和两个附录,为读者集中了TurboPrologToolbox提 供的工具请词和TurboProlog系统提供的标准谓词的详细信息,便于使用时查阅。