подозреваю, что для МИ больше подошли бы вариации языка Prolog - там как-то такие задачи гораздо проще и компакнее выглядят.