summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rw-r--r--prolog/common.py3
-rw-r--r--prolog/problems/lists_advanced/rev_2/common.py4
2 files changed, 7 insertions, 0 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 8e3d91d..e591e0b 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -1,4 +1,6 @@
import operator
+import socket
+
import prolog.engine
from prolog.util import tokenize
from server.hints import Hint, HintPopup
@@ -22,6 +24,7 @@ hint_type = {
# Check program for syntax errors.
def check_syntax(code, aux_code):
+ engine_id = None
try:
engine_id, output = prolog.engine.create(code=code+aux_code, timeout=1.0)
if 'error' in map(operator.itemgetter(0), output):
diff --git a/prolog/problems/lists_advanced/rev_2/common.py b/prolog/problems/lists_advanced/rev_2/common.py
index b673660..f79ddca 100644
--- a/prolog/problems/lists_advanced/rev_2/common.py
+++ b/prolog/problems/lists_advanced/rev_2/common.py
@@ -39,6 +39,10 @@ hint_type = {
test_cases = [
('rev([], X)',
[{'X': '[]'}]),
+ ('rev(X, [])',
+ [{'X': '[]'}]),
+ ('rev([42], X)',
+ [{'X': '[42]'}]),
('rev([s, k, c, d, d], X)',
[{'X': '[d, d, c, k, s]'}]),
('rev(X, [s, k, c, d, d])',