[[
✎ pl:prolog:pllib:disjunction
]]
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ć.
====== Disjunction ====== {{tag>logic}} ===== Description ===== Logical disjunction **Source**: The Art of Prolog ===== Download ===== Program source code: {{disjunction.pl}} ===== Listing ===== <code prolog> /* X : Y :- X or Y. * * Note: used ':' instead of ';' as ';' is a system predicate. */ :- op(1100,xfy,[':']). X : Y :- X. X : Y :- Y. % Program 10.9 Logical disjunction </code> ===== Comments =====
pl/prolog/pllib/disjunction.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry