summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-08 16:13:35 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-08 16:13:35 +0200
commit3d0fde9ac8bc568845cfef8391ea0f9b0fe2f4e6 (patch)
tree34089ab1c754e00442973b848654de9b6e24f279 /prolog
parentce3b6703c153ba5c827996bfa8fd9bfa85fe2adb (diff)
Add language/group IDs and group numbers for Prolog
Diffstat (limited to 'prolog')
-rw-r--r--prolog/common.py2
-rw-r--r--prolog/problems/clp_fd/common.py2
-rw-r--r--prolog/problems/clp_r/common.py2
-rw-r--r--prolog/problems/dcg/common.py2
-rw-r--r--prolog/problems/denotational_semantics/common.py2
-rw-r--r--prolog/problems/family_relations/common.py2
-rw-r--r--prolog/problems/license_plates/common.py2
-rw-r--r--prolog/problems/lists/common.py2
-rw-r--r--prolog/problems/old_exams/common.py1
-rw-r--r--prolog/problems/other/common.py1
-rw-r--r--prolog/problems/sets/common.py2
-rw-r--r--prolog/problems/sorting/common.py2
-rw-r--r--prolog/problems/trees/common.py2
13 files changed, 24 insertions, 0 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 654ab81..1ab4522 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -4,6 +4,8 @@ import operator
import prolog.engine
from server.hints import Hint, HintSequence
+id = 1
+
hint_type = {
'no_hint': Hint('no_hint'),
'program_already_correct': Hint('program_already_correct'),
diff --git a/prolog/problems/clp_fd/common.py b/prolog/problems/clp_fd/common.py
new file mode 100644
index 0000000..3b1f9cf
--- /dev/null
+++ b/prolog/problems/clp_fd/common.py
@@ -0,0 +1,2 @@
+id = 8
+number = 7
diff --git a/prolog/problems/clp_r/common.py b/prolog/problems/clp_r/common.py
new file mode 100644
index 0000000..2238250
--- /dev/null
+++ b/prolog/problems/clp_r/common.py
@@ -0,0 +1,2 @@
+id = 9
+number = 8
diff --git a/prolog/problems/dcg/common.py b/prolog/problems/dcg/common.py
new file mode 100644
index 0000000..4992f2d
--- /dev/null
+++ b/prolog/problems/dcg/common.py
@@ -0,0 +1,2 @@
+id = 10
+number = 9
diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py
new file mode 100644
index 0000000..e2c420e
--- /dev/null
+++ b/prolog/problems/denotational_semantics/common.py
@@ -0,0 +1,2 @@
+id = 11
+number = 10
diff --git a/prolog/problems/family_relations/common.py b/prolog/problems/family_relations/common.py
new file mode 100644
index 0000000..5aff819
--- /dev/null
+++ b/prolog/problems/family_relations/common.py
@@ -0,0 +1,2 @@
+id = 1
+number = 1
diff --git a/prolog/problems/license_plates/common.py b/prolog/problems/license_plates/common.py
new file mode 100644
index 0000000..3d15487
--- /dev/null
+++ b/prolog/problems/license_plates/common.py
@@ -0,0 +1,2 @@
+id = 7
+number = 6
diff --git a/prolog/problems/lists/common.py b/prolog/problems/lists/common.py
new file mode 100644
index 0000000..4788fc4
--- /dev/null
+++ b/prolog/problems/lists/common.py
@@ -0,0 +1,2 @@
+id = 2
+number = 2
diff --git a/prolog/problems/old_exams/common.py b/prolog/problems/old_exams/common.py
new file mode 100644
index 0000000..56857ba
--- /dev/null
+++ b/prolog/problems/old_exams/common.py
@@ -0,0 +1 @@
+id = 12
diff --git a/prolog/problems/other/common.py b/prolog/problems/other/common.py
new file mode 100644
index 0000000..50384ad
--- /dev/null
+++ b/prolog/problems/other/common.py
@@ -0,0 +1 @@
+id = 4
diff --git a/prolog/problems/sets/common.py b/prolog/problems/sets/common.py
new file mode 100644
index 0000000..104aa9d
--- /dev/null
+++ b/prolog/problems/sets/common.py
@@ -0,0 +1,2 @@
+id = 5
+number = 4
diff --git a/prolog/problems/sorting/common.py b/prolog/problems/sorting/common.py
new file mode 100644
index 0000000..f006f10
--- /dev/null
+++ b/prolog/problems/sorting/common.py
@@ -0,0 +1,2 @@
+id = 3
+number = 3
diff --git a/prolog/problems/trees/common.py b/prolog/problems/trees/common.py
new file mode 100644
index 0000000..a519878
--- /dev/null
+++ b/prolog/problems/trees/common.py
@@ -0,0 +1,2 @@
+id = 6
+number = 5