[[pl:prolog:pllib:natural_numbers]]
Pokaż stronę
Ostatnie zmianyIndeks

AIwiki

Dla Studentów

Zima / Winter 2021:

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

— pl:prolog:pllib:natural_numbers [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 +====== 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ówDo góry
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0