[[
✎ pl:prolog:pllib:natural_numbers
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Natural numbers ====== {{tag>math numbers recursion}} ===== Description ===== Defining the natural numbers. **Source**: The Art of Prolog ===== Download ===== Program source code: {{natural_numbers.pl}} ===== Listing ===== <code prolog> /* natural_number(X) :- X is a natural number. */ natural_number(0). natural_number(s(X)) :- natural_number(X). % Program 3.1: Defining the natural numbers </code> ===== Comments =====
pl/prolog/pllib/natural_numbers.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry