Какова семантика данных и пролога?

Question

Работает ли регистратор данных на множествах или мультимножествах? То же самое относится и к прологу? Я не смог найти никаких документов по этому поводу.

Answer 1

Семантика Datalog определяется над конечными множествами.

Пролог, однако, дает вам последовательности подстановок ответов, а в случае Пролога с ограничениями ответов. Подстановки ответов могут представлять просто решения, как в X = 1, но они также могут представлять бесконечно много решений, как в X = [_A,_B,_C], Последовательность подстановки ответов может рассматриваться как мультимножество, но она даже немного более общая, поскольку точная последовательность имеет значение. Как в X = 1 ; X = 2 ; X = 1,

Общие ответы с ограничениями расширяют понятие немного дальше. Ответ X in 2..sup, X mod 2 #= 0 содержит бесконечно много решений, он также может содержать конечное число X in 1..3или даже нет, как в X in 2..sup, X mod 2 #= 0, X mod 2 #= 1,