Описание списков и множеств в метаязыке нормальных форм знаний

Предложена формализация списков, предикатов на списках и множествах в метаязыке нормальных форм знаний, базируясь на известных Пролог-формализациях этих понятий, использующих списковый домен. Среди предикатов на списках описаны: добавление элемента, удаление элемента, поиск последнего элемента, поис...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2020
Автор: Кургаев, А.Ф.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2020
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/180418
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Описание списков и множеств в метаязыке нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2020. — № 1. — С. 3-16. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine