summaryrefslogtreecommitdiff
path: root/monkey/prolog/engine.py
diff options
context:
space:
mode:
Diffstat (limited to 'monkey/prolog/engine.py')
-rw-r--r--monkey/prolog/engine.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/monkey/prolog/engine.py b/monkey/prolog/engine.py
index e73ea54..f11854a 100644
--- a/monkey/prolog/engine.py
+++ b/monkey/prolog/engine.py
@@ -115,7 +115,7 @@ class PrologEngine(object):
# and returns a list of results. Raises an exception on error.
def test_all(name, code):
engine = PrologEngine(code=code)
- reply = engine.ask("run_tests({}, '{}', Results)".format(name, engine.id))
+ reply = engine.ask("run_tests({}, Results)".format(name))
engine.destroy()
if reply['event'] != 'success':
@@ -132,7 +132,7 @@ def test(name, code):
ret = False
try:
engine = PrologEngine(code=code)
- ret = engine.ask("run_tests({}, '{}')".format(name, engine.id))['event'] == 'success'
+ ret = engine.ask("run_tests({})".format(name))['event'] == 'success'
engine.destroy()
except Exception as ex:
pass
@@ -142,5 +142,5 @@ def test(name, code):
if __name__ == '__main__':
engine = PrologEngine(code='dup([],[]). dup([H|T],[H,H|TT]) :- dup(T,TT).')
print('engine id is ' + engine.id)
- print(engine.ask("run_tests({},'{}',Result)".format('dup/2', engine.id)))
+ print(engine.ask("run_tests({}, Result)".format('dup/2')))
engine.destroy()