[[
✎ pl:prolog:pllib:multiply
]]
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ć.
====== Multiply ====== {{tag>math arithmetic}} ===== Description ===== Multiplication as repeated addition. **Source**: The Art of Prolog ===== Download ===== Program source code: {{multiply.pl}} ===== Listing ===== <code prolog> /* times(X,Y,Z) :- X, Y and Z are natural numbers such that Z is the product of X and Y */ times(0,X,0). times(s(X),Y,Z) :- times(X,Y,XY), plus(XY,Y,Z). plus(0,X,X) :- natural_number(X). plus(s(X),Y,s(Z)):- plus(X,Y,Z). natural_number(0). natural_number(s(X)) :- natural_number(X). % Program 3.4: Multiplication as repeated addition % ?- times(s(0),s(0),X). </code> ===== Comments =====
pl/prolog/pllib/multiply.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry