Проверить, что аргумент является списком — is_list (Arity Prolog)

Программирование Помощь с решением задач на Prolog Общие вопросы Проверить, что аргумент является списком — is_list (Arity Prolog)

Помечено: ,

В этой теме 0 ответов, 1 участник, последнее обновление  Васильев Владимир Сергеевич 11 мес., 2 нед. назад.

  • Автор
    Сообщения
  • #4212

    В SWI Prolog есть встроенный предикат, проверяющий что аргумент является списком — is_list(List). Если в вашем диалекте пролога нет такой функции — ее можно реализовать самостоятельно:

    is_list([]).
    is_list([_|_]).

    Первое правило вернет true если список является пустым, а второе — если то, что передано в качестве аргумента можно разделить на голову и хвост.

    Вложения:
    1. is_list_prolog.png

Для ответа в этой теме необходимо авторизоваться.