[[
✎ pl:prolog:pllib:lesseq_operator
]]
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ć.
====== Lesseq operator ====== {{tag>math operators arithmetic}} ===== Description ===== The less than or equal relation. **Source**: The Art of Prolog ===== Download ===== Program source code: {{lesseq_operator.pl}} ===== Listing ===== <code prolog> /* X lesseq Y :- X and Y are natural numbers, such that X is less than or equal to Y. We use lesseq to represent the operator rather than cause problems with an error message from Prolog about redefining an operator! */ :- op(40,xfx, 'lesseq'). 0 lesseq X :- natural_number(X). s(X) lesseq s(Y) :- X lesseq Y. natural_number(0). natural_number(s(X)) :- natural_number(X). % Program 3.2: The less than or equal relation </code> ===== Comments =====
pl/prolog/pllib/lesseq_operator.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry