Jak zakodować program w Prologu, aby drukować liczby od 1 do 10 przy użyciu rekursji?

Question

Jak zakodować program w Prologu, aby drukować liczby od 1 do 10 przy użyciu rekursji?

Próbowałem następujące rzeczy, ale to nie działa, możesz mi powiedzieć, dlaczego?

print_numbers(10) :- write(10). 

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

Answer 1

Been poważnie dawno pisałem żadnej prolog, ale pewnie bym robić rzeczy trochę inaczej. Coś takiego, choć nie mogę tego przetestować w tym momencie.

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). 

Kluczową różnicą jest tu ! lub pocięte operacja, która przestaje wycofywania. Jeśli go nie uwzględnisz, otrzymasz rozwiązanie z pierwszym klauzulą, gdy X ma 10, ale jeśli poprosisz o drugie rozwiązanie, będzie ono również cofało się i pasowało do drugiej klauzuli. To spowodowałoby znacznie większą listę liczb, niż chcesz.

Answer 2

Twój kod jest bardzo blisko pracy. Problem polega na tym, że nie można ponownie użyć X, gdy zostanie utworzony, nie można go zmienić (więcej szczegółów można znaleźć w artykule here). Użyj nową zmienną w następujący sposób: (!)

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

Dodanie cięcie do końca zapobiegnie tłumacza z pytaniem, czy chcesz zobaczyć więcej wyników.

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

Yes 
?- 

Answer 3

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) 
     ).