[[
✎ pl:prolog:pllib:dif_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ć.
====== Dif operator ====== {{tag>operators}} ===== Description ===== Implementing \= **Source**: The Art of Prolog ===== Download ===== Program source code: {{dif_operator.pl}} ===== Listing ===== <code prolog> /* X \= Y :- X and Y are not unifiable. */ :- op(700, xfx, \=). X \= X :- !, fail. X \= Y. % Program 11.8 Implementing \= </code> ===== Comments =====
pl/prolog/pllib/dif_operator.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry