From 368bb943b548e9b3f338b4a73379608221388bf8 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 6 May 2015 16:26:57 +0200 Subject: Remove app-specific code from prolog.engine --- monkey/monkey.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'monkey/monkey.py') diff --git a/monkey/monkey.py b/monkey/monkey.py index fd11868..f64a142 100755 --- a/monkey/monkey.py +++ b/monkey/monkey.py @@ -3,11 +3,20 @@ import math import time +import prolog.engine from .edits import classify_edits -from prolog.engine import test from prolog.util import Token, annotate, compose, map_vars, normalized, rename_vars, stringify from .util import PQueue +# Check whether all tests for problem [name] succeed. +def test(name, code): + try: + reply = prolog.engine.create_and_ask( + code=code, query='run_tests({})'.format(name)) + return reply.get('event') == 'success' + except Exception as ex: + return False + # Starting from [code], find a sequence of edits that transforms it into a # correct predicate for [name]. Append [aux_code] when testing (available facts # and predicates). -- cgit v1.2.1