孤7问题求解Prolog程序

最新推荐文章于 2020-12-07 12:18:53 发布

原创

最新推荐文章于 2020-12-07 12:18:53 发布 · 1k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#integer #c #include #file #测试

该博客介绍了如何使用Prolog编程解决逻辑推理问题——孤7问题，即找到一个3位数除以7的除法表达式。通过生成测试法，逐步确定被除数和除数的每一位，最终得出唯一解：12128316/124=97809。

孤7问题

在下面的除式中，我们只知道一个7，要求将这一除式完整地展示出来。这一问题可以归为逻辑推理问题，但需要依靠算术知识进行推理。例如，除数的最高位一定是1，因为我们可以看出除数乘上7后仍然是一个3位数。

□７□□□

--------------------------

□□□/□□□□□□□□

□□□□

----------

□□□

-----------

□□□□

□□□

-----------

□□□□

========

假设被除数为 A=A7A6A5A4A3A2A1A0 ，除数为 B=B2B1B0 ，由于 A7 、 B2 为最高位，它们的值在 1 到 9 之间，其他数在 0 和 9 之间。

记 Pk=A7…Ak ，则可知 Pk 的递推计算式为：

P7=A7

P6=10*P7+A6

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

estream

关注关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

人工智能导论——Prolog编程求解图搜索问题（代码实现）

weixin_43973089的博客

04-28

3411

人工智能导论实验报告实验二：Prolog编程求解图搜索问题一、实验目的二、实验的硬件、软件平台三、实验内容及步骤1. 实验内容：【问题描述】【问题分析】2. 实验步骤：2.1. 安装prolog集成开发环境2.2. 采用prolog编写所选问题的源程序2.3. 编译程序，输出查询问题的结果或数据3. 画出状态空间图：四、问题与分析1. 直接使用write打印表结构无法输出所有路径2. 逆序输出五、总结六、附录1. 事实与规则2. 查询语句3. 查询结果一、实验目的熟悉PROLOG的运行

PROLOG实现亲属关系小型演绎数据库

最新发布

猫晨的技术小屋

08-18

446

PROLOG实现亲属关系小型演绎数据库。

参与评论您还未登录，请先登录后发表或查看评论

用prolog解决农夫过河问题

03-03

在swi-prolog上实现的，能很好地解决农夫过河问题！

一个描述亲属关系的PROLOG程序

12-09

编写一个描述亲属关系的PROLOG程序，然后再给出一些事实数据，建立一个小型演绎数据库。可以以父亲和母亲为基本关系（作为基本谓词），再由此来描述祖父、祖母、兄弟、姐妹以及其他亲属关系。

射击问题求解程序-Prolog

estream的专栏

11-30

1201

射击问题在一个靶子的不同区域分别标记有从1环到10环的不同分值，某人在一次射击比赛中用10发子弹打出了90环的成绩，问这10次射击取得的分值有哪些可能？设10次射击分别得到的分数为X1, X2, …, X10，则问题就是生成线性方程X1+X2+…+X10=90 (10≥X1, X2, …, X10≥0)的各种可能的解。一般地，我们来解决n个变量的和为Sum，且每一个变

描述亲属关系的PROLOG程序

12-06

是人工智能的一个习题，要求是编写一个描述亲属关系的PROLOG程序。做的时候发现，网站上很少有关于人工智能的这个PROLOG程序，拿出来分享一下。

实验五：prolog求解农夫过河问题（人工智能实验报告）

12-25

包含prolog求解农夫过河问题的实验报告、源代码及试验运行截图

实验四：prolog求解八皇后问题（人工智能实验报告）

12-25

包含prolog求解修八皇后问题的实验报告、源代码及试验运行截图

人工智能导论_斑马问题prolog代码

11-19

总结来说，通过解决斑马问题，我们可以深入理解Prolog的逻辑编程思想，掌握如何用规则和事实表示复杂逻辑关系，以及如何进行反向推理求解问题。对于学习人工智能导论的学生而言，这是一个很好的实践项目，可以提高...

精选资源

人工智能实验二prolog求解八皇后问题.zip

01-08

运行这个程序后，Prolog会返回所有可能的八皇后问题解。由于八皇后问题有多个解，Prolog将展示所有这些解。通过这种方式，我们利用Prolog的逻辑推理能力成功地解决了八皇后问题，展示了逻辑编程在解决复杂问题上的...

人工智能prolog语言实验：寻找凶手（谁是凶手）问题

12-25

Boddy 先生死于谋杀，现有六个嫌疑犯，每个人在不同的房间，每间房间各有一件可能的凶器，但不知道嫌疑犯、房间、凶器的对应关系。请根据下面的条件和线索，找出谁是凶手。包含prolog代码以及实验报告

人工智能实验报告2份 Prolog语言编程练习图搜索问题求解

02-17

Prolog语言编程练习和图搜索问题求解，有完整正确的运行程序和截图

人工智能——亲属关系

11-29

运用PROLOG工具实现亲属关系的推理，父亲母亲祖父祖母兄弟姐妹等

逻辑关系模拟程序 Prolog

11-24

体会Prolog语言的推理，熟悉SWI-Prolog或Visual Prolog编程工具。在编程环境中调试运行简单的逻辑关系推理程序。程序自选，但必须是描述某种逻辑关系的程序。

图搜索问题求解旅行商问题

12-21

利用Prolog编程求解状态图中任意两点的路径和最短路径，并利用这种方法解决旅行商问题。

PROLOG语言实验一

03-16

选修课实验报告：1、编写一个描述亲属关系的PROLOG程序，然后再给予出一些事实数据，建立一个小型演绎数据库。2、编写一个路径查询程序，使其能输出图中所有路径。3、一个雇主在发出招聘广告之后，收到了大量的应聘申请。为了从中筛选出不量的候选人，该雇主采用下列判据：申请者必须会打字、开车，并且住在伦敦。

Prolog编程求解图搜索问题

m0_45020051的博客

12-07

1488

实验题目 Prolog安装及基本用法 Prolog安装：实验环境：Ubuntu20.04 在终端键入sudo apt-get install swi-prolog完成Prolog环境的安装。安装成功后，键入swipl XXX.pl执行程序。 Prolog基本用法： (1)介绍： Prolog是一种声明式逻辑编程语言。 Prolog 所有语句的结尾都用一个"点"（.）表示结束。换行，可以使用nl命令。退出 SWI-Prolog，可以使用halt命令。 (2)常量和变量 Prolog 的变量和常量规则很简

重温prolog推理性语言

cnhome的专栏

02-11

797

一段prolog代码 interface包含了谓词，class定义了construct,implemnt定义了事实，还有一个goal. interface aa predicates setClassFact : (integer Value). getClassFact : () -> integer. setObjectFact ...

prolog下的4X4数独

chucuan8946的博客

06-03

525

valid([]). valid([Head|Tail]) :- fd_all_different(Head), valid(Tail). sudoku(Puzzle, Solution) :- Solution = Puzzle, Puzzle = [S...

使用Prolog求解八皇后问题的AI实验

在Prolog中，程序是通过定义一系列事实和规则来表示问题，然后询问特定的问题来让Prolog求解。Prolog程序中的查询通常涉及到模式匹配和统一算法，能够自动执行回溯搜索，非常适合解决约束满足问题，如八皇后问题。 ...