This website works better with JavaScript
Sākums
Izpētīt
Palīdzība
Pierakstīties
radu
/
LaTeX-examples
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
0
Faili
Problēmas
0
Izmaiņu pieprasījumi
0
Vikivietne
Atzars:
master
Atzari
Tagi
master
LaTeX-examples
/
documents
/
Programmierparadigmen
/
scripts
/
prolog
/
zahlen-bis-10.pl
zahlen-bis-10.pl
86 B
Patstāvīgā saite
Vēsture
Neapstrādāts
1
2
3
nat(1).
nat(X) :- nat(X1),X is X1+1.
nat10(X) :- nat(X), ( X > 10 -> !, fail ; true ).