Фразы Хорна (Horn clause): специальный вид логических предложений, используемый в логических языках программирования и системах вывода.
Статей пока нет. Будьте первым!