申明:此文为译文,仅供学习交流试用,请勿用作商业用途,造成一切后果本人概不负责,转载请说明.本人英语功力尚浅,翻译大多借助于翻译工具,如有失误,欢迎指正. 逻辑程序简介 逻辑程序是一组公理或规则,定义对象之间的关系.逻辑程序的计算是扣除该计划的后果的.一个程序定义了一组后果,这就是它的意义.逻辑编程的艺术是构建一个具有所需的含义简洁大方的方案. Prolog基本构造 逻辑编程,条款和声明的基本结构,从逻辑继承.有三种基本的语句:事实,规则和查询.有一个单一的数据结构:逻辑术语.最简单的一种说法叫…