Я пытаюсь понять, как реализован вывод типов. В частности, я не совсем понимаю, где и почему в игру вступает тяжелый подъем «объединения». Я приведу пример на «псевдо-C #», чтобы прояснить ситуацию: Наивный способ сделать это будет примерно...

Datalog легко идентифицировать с подмножеством Prolog, в котором не используются функциональные символы, а только константы и переменные. Но чистый журнал данных, который не использует отрицание, имеет дополнительное ограничение (*): Каждый факт...