使用PROLOG进行逻辑编程：摘要

 

统一，列表，声明性编程和过程的关系视图，其中谓词的参数可以作为输入和输出，允许为许多问题开发简短，优雅的程序。如果用程序语言编写，许多程序会显着更长，因此更难以理解。此外，这些语言功能可以节省程序员的时间。因此PROLOG也是快速原型制作的有趣工具，特别是对于AI

应用。PROLOG的CLP扩展不仅有助于逻辑谜题，还有助于许多优化和调度任务。

自1972年发明以来，在欧洲，PROLOG已经发展成为欧洲领先的人工智能编程语言之一，以及程序语言。另一方面，在美国，本土发明的语言LISP主导着AI市场。

PROLOG不是定理证明者。这是故意的，因为程序员必须能够轻松灵活地控制处理，并且不会与定理证明器相距甚远。另一方面，PROLOG本身对证明数学定理不是很有帮助。然而，在PROLOG中编程时肯定会有一些有趣的理论。

作为高级文献推荐的是[Bra11]和[CM94]，以及手册[Wie04，Dia04]，以及关于CLP的主题，[Bar98]。