summaryrefslogtreecommitdiff
path: root/rules
diff options
context:
space:
mode:
authorBenjamin Franzke <benjaminfranzke@googlemail.com>2012-11-12 10:50:15 +0100
committerBenjamin Franzke <benjaminfranzke@googlemail.com>2012-11-12 10:50:15 +0100
commit96f44f2cfba8806dcf9b85bedac5516f939fee18 (patch)
treebe5bbd745258b023745d9d7efedffd320c86f1d4 /rules
parent565fbb75729138607c75c9ddcaca385402d67944 (diff)
downloadwbs-96f44f2cfba8806dcf9b85bedac5516f939fee18.tar.gz
wbs-96f44f2cfba8806dcf9b85bedac5516f939fee18.tar.bz2
wbs-96f44f2cfba8806dcf9b85bedac5516f939fee18.zip
gradual_killer: Optimize rules a bit
Diffstat (limited to 'rules')
-rw-r--r--rules/gradual_killer.pl7
1 files changed, 3 insertions, 4 deletions
diff --git a/rules/gradual_killer.pl b/rules/gradual_killer.pl
index c40eeb9..2fb15cb 100644
--- a/rules/gradual_killer.pl
+++ b/rules/gradual_killer.pl
@@ -14,8 +14,7 @@ gradual_killer(_, d, [4], [5]).
gradual_killer(_, c, [5], [6]).
gradual_killer(_, c, [6], [7]).
-gradual_killer([d,d|_], d, [7], [d]):-!.
-gradual_killer(_, c, [7], [c]).
+gradual_killer([d,d|_], d, [7], [8,d]):-!.
+gradual_killer(_, c, [7], [8,c]).
-gradual_killer(_, c, [c], [c]).
-gradual_killer(_, d, [d], [d]).
+gradual_killer(_, Choice, [8,Choice], [8,Choice]).