The Art of Prolog:Advanced Programming Techniques【译文】

申明：此文为译文，仅供学习交流试用，请勿用作商业用途，造成一切后果本人概不负责，转载请说明。本人英语功力尚浅，翻译大多借助于翻译工具，如有失误，欢迎指正。

　　逻辑程序简介

　　逻辑程序是一组公理或规则，定义对象之间的关系。逻辑程序的计算是扣除该计划的后果的。一个程序定义了一组后果，这就是它的意义。逻辑编程的艺术是构建一个具有所需的含义简洁大方的方案。

　　Prolog基本构造

　　逻辑编程，条款和声明的基本结构，从逻辑继承。有三种基本的语句：事实，规则和查询。有一个单一的数据结构：逻辑术语。最简单的一种说法叫做事实。事实是，说明对象之间的关系成立的装置。

举个例子

　　father(abraham,isaac).这一事实说，abraham是isaac的father，或者说，father的关系在abraham和isaac的个体之间成立。对于关系的另一个名称叫判断。个人的姓名被称为原子。

　　同样，plus(2,3,5).表达的关系是2加3是5.

　　熟悉加关系可以通过一组定义加法表的事实来实现。表的初始段是

　　plus(0,0,0). plus(1,0,1).

　　plus(0,1,1). plus(1,1,2).

　　plus(0,2,2). plus(1,2,3).

　　plus(0,3,3). plus(1,3,4).

　　该表正好是一个合法的逻辑程序，将被假定为在本章中加关系的定义。整本书中使用的语法约定根据需要进行了介绍。第一是这样的约定。这是一个重要的名字。