diff options
| -rw-r--r-- | pl/local_episodes.pl | 10 |
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. |