From f4bee33bfae518ac04e67232d301900bcf3ebd4e Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Mon, 8 Dec 2014 20:43:22 +0100
Subject: Start refactoring testing code
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Testing logic now lives in PrologEngine. The engine now has some notion
of problems and users, which is necessary to avoid repeatedly loading
code into Prolog.

TODO:
  - support library loading
  - fix PrologEngine.test for unusual cases (more than one solution, …)
  - memoization of correct answers
---
 prolog/lexer.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 prolog/lexer.py

(limited to 'prolog/lexer.py')

diff --git a/prolog/lexer.py b/prolog/lexer.py
old mode 100755
new mode 100644
-- 
cgit v1.2.1