Jelajahi Sumber

Create courses and generate registrations

DricomDragon 5 tahun lalu
induk
melakukan
cdbe4550e2
1 mengubah file dengan 20 tambahan dan 0 penghapusan
  1. 20 0
      tp/1/study.lp

+ 20 - 0
tp/1/study.lp

@@ -0,0 +1,20 @@
+% Generate
+3{register(C) : course(C, _, _)}6.
+
+% Define
+course(1,1,5). 	course(1,2,5).
+course(2,1,4). 	course(2,2,4).
+course(3,1,6).
+course(4,1,3).
+course(5,1,4).
+		course(6,2,2).
+		course(7,2,4).
+				course(3,3,6).
+				course(4,3,3). 	course(4,4,3).
+						course(5,4,4).
+				course(6,3,2).
+				course(7,3,4). 	course(7,4,4).
+				course(8,3,5). 	course(8,4,5).
+
+% Display
+#show register/1.