Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
CNI
/
Prlog
2
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: master
Branche Tagy
Prlog
/
cm
/
lp1.lp

lp1.lp 29 B
Permanentný odkaz História Raw

12345 
  1. a.
    2. 

  2. b.
    3. 

  3. c.
    4. 

  4. q(b).
    5. 

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