|
|
@@ -1,7 +1,4 @@
|
|
|
-% Generate
|
|
|
-3{register(C) : course(C, _, _)}6.
|
|
|
-
|
|
|
-% Define
|
|
|
+% Instance
|
|
|
course(1,1,5). course(1,2,5).
|
|
|
course(2,1,4). course(2,2,4).
|
|
|
course(3,1,6).
|
|
|
@@ -16,5 +13,12 @@ course(5,1,4).
|
|
|
course(7,3,4). course(7,4,4).
|
|
|
course(8,3,5). course(8,4,5).
|
|
|
|
|
|
+% Generate
|
|
|
+3{register(C) : course(C, _, _)}6.
|
|
|
+
|
|
|
+% Define
|
|
|
+domain(C, D) :- course(C, D, _).
|
|
|
+domain_count(N) :- N = #count {domain(C, _) : register(C)}.
|
|
|
+
|
|
|
% Display
|
|
|
#show register/1.
|
