[[
✎ pl:prolog:pllib:normalization
]]
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ć.
====== Normalization ====== {{tag>math}} ===== Description ===== Normalizing plus expressions. **Source**: The Art of Prolog ===== Download ===== Program source code: {{normalization.pl}} ===== Listing ===== <code prolog> /* normalize(Sum,NormalisedSum) :- NormalizedSum is the result of normalizing the sum expression Sum. */ :- op(50,xfx,++). normalize(Exp,Norm) :- normalize_ds(Exp,Norm++0). normalize_ds(A+B,Norm++Space) :- normalize_ds(A,Norm++NormB), normalize_ds(B,NormB++Space). normalize_ds(A,(A+Space)++Space) :- constant(A). % Program 15.7 : Normalizing plus expressions. </code> ===== Comments =====
pl/prolog/pllib/normalization.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry