Мой учитель логики мимоходом сказал, что для подсчета оценок также можно использовать алгоритм Куинса . К сожалению, я не могу понять, как это делается в Прологе? Программа, например, выдаст, используя синтаксис из ответа в алгоритме Куайнса:...

В новом выпуске SWI-Prolog 8.3.19 вводится односторонняя унификация внутри новых правил стиля Picat. Это могло быть долгожданным дополнением к любой системе Prolog. Мне было интересно, сможем ли мы переписать алгоритм Куайна Реализация пролога...