aboutsummaryrefslogtreecommitdiff
path: root/pl
diff options
context:
space:
mode:
Diffstat (limited to 'pl')
-rw-r--r--pl/local_episodes.pl10
1 files changed, 8 insertions, 2 deletions
diff --git a/pl/local_episodes.pl b/pl/local_episodes.pl
index 935e3b7..0273bb3 100644
--- a/pl/local_episodes.pl
+++ b/pl/local_episodes.pl
@@ -14,12 +14,18 @@ local_episode_prefix --> string(_), "detective_conan_".
nondigit --> [C], !, { \+ code_type(C, digit) }.
nondigit --> [].
+zeroes --> "0".
+zeroes --> "0", zeroes.
+
+paddedint(N) --> integer(N).
+paddedint(N) --> zeroes, integer(N).
+
local_episode -->
local_episode(_).
local_episode(N) -->
- local_episode_prefix, integer(N), nondigit, string(_).
+ local_episode_prefix, paddedint(N), nondigit, string(_).
local_episode(N) -->
- local_episode_prefix, integer(First), "-", integer(Last), nondigit, string(_),
+ local_episode_prefix, paddedint(First), "-", paddedint(Last), nondigit, string(_),
{ Second is First + 1, between(Second, Last, N) }.
% Find episode on disk.