diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/clp_fd/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/clp_r/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/dcg/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/denotational_semantics/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/family_relations/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/license_plates/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/lists/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/old_exams/common.py | 1 | ||||
| -rw-r--r-- | prolog/problems/other/common.py | 1 | ||||
| -rw-r--r-- | prolog/problems/sets/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/sorting/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/trees/common.py | 2 |
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 |