该博客介绍了如何使用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元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
