TY JOUR TI Логическая интерпретация алгоритма решения задачи Аполлония KW геометрическое моделирование KW многомерное пространство KW Симплекс KW задача Аполлония KW язык логического программирования KW Пролог KW предикат JO Геометрия и графика AU Волошинов, Д.В. AU Щур, С.Ю. PY 2026 IS 14 PB Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»