Domů Procházet Nápověda
Přihlásit se
CNI
/
Prlog
2
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: master
Větve Značky
Prlog
/
cm
/
lp1.lp

lp1.lp 29 B
Trvalý odkaz Historie Surový

12345 
  1. a.
    2. 

  2. b.
    3. 

  3. c.
    4. 

  4. q(b).
    5. 

  5. p(X) :- q(X).
    6.