与Prolog相关的博文目录

Prolog概览

Prolog作为一种逻辑型编程语言，对于大多数程序员而言大概是最异类的语言。Prolog被奉“写做什么而非怎么做”的所谓的第四代语言（声明式语言）而曾获寄予厚望，Prolog曾与Lisp并列为两大人工智能语言，有美Lisp欧Prolog的说法。虽然人工智能在上世纪八十年代后淡出加上Prolog自身的硬伤而随之失色。今天，Prolog的影响还远不如Lisp，不仅未能像Lisp在其它领域杀出血路，而且除SQL(和Erlang一点点)外对其它语言影响甚微。然而，Prolog在某些试验性场合仍有其方便之处，而且了解Prolog对开阔眼界大有好处。