diff options
| author | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2012-11-12 10:50:15 +0100 |
|---|---|---|
| committer | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2012-11-12 10:50:15 +0100 |
| commit | 96f44f2cfba8806dcf9b85bedac5516f939fee18 (patch) | |
| tree | be5bbd745258b023745d9d7efedffd320c86f1d4 /rules | |
| parent | 565fbb75729138607c75c9ddcaca385402d67944 (diff) | |
| download | wbs-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.pl | 7 |
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]). |