孤7问题求解Prolog程序

  

孤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

P5=10*P6+A5

P4=10*P5+A4

P3=10*P4+A3

P2=10*P3+A2

P1=10*P2+A1

P0=10*P1+A0=A

记商为 Q=Q5Q4Q3Q2Q1Q0