summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-05-13 15:30:22 +0200
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:03 +0200
commit90dadf3c0c750444bc8fe652bc54fda20c43c94b (patch)
treec14a1ecb8ee5b867b66ac2db5bb65dc65b34bf11
parent3d9f6f564008b930afff9ba6b32d08bc267ebb3b (diff)
Print 'true' on success with no bindings
-rw-r--r--prolog/engine.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py
index b3cd805..c0fd58c 100644
--- a/prolog/engine.py
+++ b/prolog/engine.py
@@ -115,7 +115,7 @@ def pretty_vars(data):
result.append(' = '.join(var_list) + ' = ' + strip_html(value))
if 'residuals' in data:
result += [strip_html(b) for b in data['residuals']]
- return ',\n'.join(result)
+ return ',\n'.join(result) if result else 'true'
# Basic sanity check.
if __name__ == '__main__':