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).

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

转载于:https://www.cnblogs.com/C0DE-MONKEY/p/4832582.html

The Art of Prolog:Advanced Programming Techniques【译文】相关推荐

Advanced machine-learning techniques in drug discovery
尊敬的各位乘客: 您好!您所搭乘的本次2020列车即将到站,请您抓紧时间收拾自己的回忆,准备下车,不要留下遗憾,本次列车将永不返航. 那趁着2020年结束还有几天,赶紧冲一波业绩,话不多说,论文读起 ...
Kaggle: House Prices: Advanced Regression Techniques
Kaggle: House Prices: Advanced Regression Techniques notebook来自https://www.kaggle.com/neviadomski/ho ...
kaggle房价预测（House Prices: Advanced Regression Techniques）数据内容超级详细整理
之前只是单纯的学习各种算法,没有实际联系过,因此决定在kaggle上先找一个入门级别的项目学习一下,希望能获得更多的知识.现在找的项目是预测房价:House Prices: Advanced Regr ...
Prolog（Programming in logic）
Prolog 在英语中的意思就是 Programming in logic (逻辑编程). Prolog 程序一般由一组事实.规则和问题组成.问题是程序执行的起点,称为程序的目标. Prolog 程序 ...
Advanced Programming: Unity Game Dev Course（4）-Closing the Loop
1.Alternate Singleton 主要介绍: 修改Singleton 具体实现: 之前Intermediate Programming: Unity Game Dev Courses(1)- ...
Kaggle比赛（二）House Prices: Advanced Regression Techniques
房价预测是我入门Kaggle的第二个比赛,参考学习了他人的一篇优秀教程:https://www.kaggle.com/serigne/stacked-regressions-top-4-on-lead ...
kaggle房价预测（House Prices: Advanced Regression Techniques）详解
这几天做kaggle上的房价预测题目,有一些需要记录的点. 1.当数据是skew的时候需要进行log操作,比如这里的房价之后可以把所有偏度大于一个阈值的都log化,至于偏度相关的知识,请看https ...
House Prices: Advanced Regression Techniques(房价预测)
问题背景:购房者需要购买梦想中的房子,你需要从房子的79个变量中预测房子的价格是多少. 分为以下几个步骤: 导入数据观察每个变量特征的意义以及对于房价的重要程度筛选出主要影响房价的变量清洗和转换变 ...
【英语学习】【Python】Programming in Python 3 的目录
<Programming in Python 3: A Complete Introduction to the Python Language>所有版权归原书作者所有. 文章目录 Cha ...
个人网页、博客、课程--不断更新
论文和相关代码 :https://paperswithcode.com/ Caiming Xiong http://www.stat.ucla.edu/~caiming/ 论文,代码,博客肖小粤的啵 ...

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

The Art of Prolog:Advanced Programming Techniques【译文】相关推荐

最新文章

热门文章