Язык логического программирования, основанный на логике дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка: 6 букв, первая «П»
1 ответ
Правильным ответом на вопрос в кроссворде (сканворде): Язык логического программирования, основанный на логике дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка, является слово пролог.
пролог