This website works better with JavaScript
Trang chủ
Khám phá
Trợ giúp
Đăng nhập
CNI
/
Prlog
Xem
2
Star
0
Fork
0
Các tập tin
Các vấn đề
0
Yêu cầu khéo về
0
Wiki
Browse Source
Create composed relation
DricomDragon
5 năm trước cách đây
mục cha
323a4808a5
commit
187c2d683c
1 tập tin đã thay đổi
với
3 bổ sung
và
0 xóa
Split View
Hiển thị tình trạng sai khác
3
0
tp/1/prime.lp
+ 3
- 0
tp/1/prime.lp
Xem Tập Tin
@@ -0,0 +1,3 @@
+% Define
+#const n = 10.
+compose(N) :- N=1..n, I=2..N-1, N\I = 0.