#prolog #programming-languages #terminology #logic-programming
Вопрос:
В сообществе логического программирования я слышал, как многие люди говорили о «языке программирования с совершенным выбором логики», но мне не очень ясно его определение. Я поискал в Интернете, но официального ответа найдено не было (похоже, это связано с параллельным логическим программированием?).
Означает ли «язык программирования с фиксированным выбором» просто «язык программирования с чистой логикой» плюс некоторые нечистые операторы, например ! *-gt; , once в Прологе?
Почему это называется «совершенным выбором»?
Спасибо.