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

• Veröffentlicht in: Проблеми програмування
• Datum: 2020
• 1. Verfasser: Кургаев, А.Ф.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2020
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/180418
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Описание списков и множеств в метаязыке нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2020. — № 1. — С. 3-16. — Бібліогр.: 9 назв. — рос.

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