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

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

Помечено: ,

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

Просмотр 1 сообщения - с 1 по 1 (всего 1)
  • Автор
    Сообщения
  • #4212

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

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

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

    Вложения:
    Вы должны войти для просмотра вложений.
Просмотр 1 сообщения - с 1 по 1 (всего 1)

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