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

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

Помечено: ,

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

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

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

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

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

    Вложения:

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