[[pl:prolog:pllib:disjunction]]
Pokaż stronę
Ostatnie zmianyIndeks

AIwiki

Dla Studentów

Zima / Winter 2021:

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

— pl:prolog:pllib:disjunction [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 +====== 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ówDo góry
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0