Побудова моделі модифікаційних предикатних запитів на основі прeмоноїдних категорійних структур

Abstract

На шарах індексованої категорії модифікаційних предикатних запитів введено премоноїдні структури замість моноїдних, що з точки зору програмної імплементації в більшій мірі відповідає стандартній процедурі Prolog–резолюції. Введено спосіб використання премоноїдних структур на шарах синтаксичних і семантичних стратегій. Показано, що премоноїдна модель в рамках категорійної стратегії може бути задана також і з допомогою відповідної функторної інтерпретації, що відповідає моделі Гербранда для абстрактних логічних програм. Показано, що реіндексовані функтори зберігають премоноїдну структуру шарів яку можна також розглядати і як моноїдну оскільки всі відображення є центральними, а значить, також і як таку, що може бути перетворена в премоноїдну індексовану категорію.