prolog-简介与开发环境

      prolog(programming in logic)是一种逻辑编程语言，以逻辑学理论为基础。最初的prolog被用于自然语言的研究，现在它已经被广泛应用于人工智能的研究中。prolog目前的主要用途有：构建专家系统、自然语言分析、智能知识库等。同时也可以应用于常规的程序编写。正是由于prolog的逻辑编程优势，可以在许多方面快速的建立逻辑关系，用于弥补其他语言逻辑实现较难的弱点。

     

      使用prolog大概有一个星期了。由于是初学，所以一开始没有确定的开发环境。体验过的环境有：turbo prolog、SWI-prolog、visual-prolog、amzi-prolog。

      使用之后觉得。

      turbo prolog的开发与turbo C类似，集成了简单的编辑、编译、调试功能。可以很快的上手，但是感觉回到了DOS时代，没有鼠标的帮助始终不是很方便。

      SWI-prolog，该版本规定不经过注册的开发环境，不可以直接编译生成可执行文件。所以这个版本仅仅由于开发。有了鼠标的支持操作相对比较容易。这个版本拥有独立的编辑窗口，而且窗口支持高亮操作。另外，控制台窗口是独立的，可以直接控制编译、调试的功能。

      visual-prolog,主要提供了一些可视化编程的内容，支持简单的窗口编程。应为感觉初学应该把重点放在语言本身，而不是花俏的技巧上，所以暂时没有深究。

      amzi-prolog，这是到目前为止使用的prolog最好的开发环境。其实就是在Eclipse中集成了prolog的模块。熟悉Eclipse的人使用起来应该会很亲切。所有的编辑、编译、调试都是界面化操作，非常方便。不过还是从协议上限制了使用的范围和时间。不过用来学习是很不错的(曾经用bind软件直接把调用库和代码绑定，然后生成过直接可以运行的.exe，所以应该还是不错的)。

 

      重点记录一下amzi-prolog.

      amzi主页：http://www.amzi.com/index.html，必须说一下，这是一个很棒的网站，上面有详细的prolog学习教程和相关资料。记得在一个国内的网上看过一遍教程，当时觉得是针对prolog编程教程中写的很不错的一个版本了，后来发现其大部分的内容来自于amzi的主页。而且amzi的教程更为详细。