寻找自然数字广场的Prolog程序

Question

下面的代码是按顺序生成自然数的平方

（即sq(X). -> X=0; X=1; X=4; X=9; X=16; ...）

nat(0).
nat(X) :- nat(Y), Z is Y+1, X is Z*Z.

但我得到的答案是：

1

0 ?- nat(X).

X = 0 ;

X = 1 ;

X = 4 ;

X = 25 ;

X = 676 

应该是一个快速解决方案，但我花费的时间比我想说的要长。非常感谢任何帮助！

Answer 1

你的nat / 1似乎真的会返回不同的序列。应该是

nat(0).
nat(X) :- nat(Y), X is Y+1.

然后，不同的谓词

sq(X) :- % call nat/1, square it...

请填写代码