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

1Кургаев, АФ
1Институт кибернетики им. В. М. Глушкова, НАН Украины, Киев
Dopov. Nac. akad. nauk Ukr. 2017, 10:18-27
https://doi.org/10.15407/dopovidi2017.10.018
Раздел: Информатика и кибернетика
Язык: Русский
Аннотация: 

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

Ключевые слова: метаязык нормальных форм знаний, определение, предикат, рекурсия, список