Программирование аксиоматическое (axiomatic programming) — задание ВМ базы знаний из аксиом предметной и проблемной областей и вывод ответа на запрос пользователя по этой базе знаний. Знания задаются логическими формулами, выражающими факты и утверждения о фактах, а также правилами вывода фактов и утверждений о фактах и метаправилами вывода правил.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]