This website works better with JavaScript
Domů
Procházet
Nápověda
Přihlásit se
CNI
/
Prlog
Sledovat
2
Oblíbit
0
Rozštěpit
0
Soubory
Úkoly
0
Pull Requesty
0
Wiki
Procházet zdrojové kódy
Import code from TD1 exercice 3
DricomDragon
před 5 roky
rodič
c088e75714
revize
f8e4307238
1 změnil soubory
, kde provedl
5 přidání
a
0 odebrání
Rozdělené zobrazení
Ukázat statistiku rozdílových dat
5
0
td/td1/asp3.lp
+ 5
- 0
td/td1/asp3.lp
Zobrazit soubor
@@ -0,0 +1,5 @@
+q(1..4).
+{r(U+1) : q(U)}.
+:- not {r(U)}2.
+
+#show r/1.