如何在 Prolog 中编写一个程序，使用递归打印从 1 到 10 的数字？

Question

如何在 Prolog 中编写一个程序，使用递归打印从 1 到 10 的数字？

我尝试了以下方法，但不起作用，你能告诉我为什么吗？

print_numbers(10) :- write(10).

print_numbers(X) :- write(X),nl,X is X + 1, print_numbers(X).

Answer 1

您的代码非常接近工作。问题是你不能重用X，一旦实例化，就不能更改（参见此处了解更多详情）。使用新变量，如下所示：

print_numbers(10) :- write(10), !.
print_numbers(X) :- write(X), nl, Next is X + 1, print_numbers(Next).

将剪切 (!) 添加到末尾将阻止解释器询问您是否想查看更多结果。

?- print_numbers(1).
1
2
3
4
5
6
7
8
9
10

Yes
?- 

Answer 2

print_from_1_to_10 :-
        print_from_X_to_10(1).

print_from_X_to_10(X) :-
        (
                X > 10
        ->
                fail
        ;
                writeln(X),
                NewX is X + 1,
                print_from_X_to_10(NewX)
        ).

Answer 3

自从我写任何序言以来已经认真很长一段时间了，但我可能会做一些不同的事情。类似这样的东西，虽然我现在无法测试。

print_increasing_numbers(From, To):- From > To, !, write('ERROR: From > To').

print_increasing_numbers(To, To):- !, write(To).

print_increasing_numbers(From, To):- write(From),
                                     nl,
                                     Next is From + 1,
                                     print_increasing_numbers(Next, To).

这里的一个关键区别是 ! 或剪切操作，它会停止回溯。如果不包含它，那么当 X 为 10 时，您将得到第一个子句的解决方案，但如果您要求第二个解决方案，它也会回溯并匹配第二个子句。这会导致数字列表比您想要的大得多。

Answer 4

只需从终端调用defineXandY

defineXandY :-
    print_one_to_ten(1,10).

print_one_to_ten(X,Y) :- 
    X<Y,
    write(X),nl,
    NewX is X+1,
    print_one_to_ten(NewX,Y).