diff options
| -rw-r--r-- | pl/local_episodes.pl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pl/local_episodes.pl b/pl/local_episodes.pl index 49d930c..935e3b7 100644 --- a/pl/local_episodes.pl +++ b/pl/local_episodes.pl @@ -11,12 +11,15 @@ local_episode_prefix --> string(_), "Detective Conan - ". local_episode_prefix --> string(_), "Detective-Conan-". local_episode_prefix --> string(_), "detective_conan_". +nondigit --> [C], !, { \+ code_type(C, digit) }. +nondigit --> []. + local_episode --> local_episode(_). local_episode(N) --> - local_episode_prefix, integer(N), string(_). + local_episode_prefix, integer(N), nondigit, string(_). local_episode(N) --> - local_episode_prefix, integer(First), "-", integer(Last), string(_), + local_episode_prefix, integer(First), "-", integer(Last), nondigit, string(_), { Second is First + 1, between(Second, Last, N) }. % Find episode on disk. |