Какие алгоритмы для унификации над (многослойным) условиями массива?

Question

Я ищу ссылки на реализацию объединения над многомерными условиями массива.

Есть ли специализированные алгоритмы объединения для этих случаев?Я не смог найти удовлетворительную литературу на тему, и я пытаюсь написать библиотеку логического программирования для языка J.

Answer 1

К контуре контекста я предположим, что цель состоит в том, чтобы сделать объединение в классической логике первого порядка на фиксированном языке $ \ mathscr {l} $ .(Форматирование и другие исправления Добро пожаловать.)

Короче говоря, вы можете лечить массивы как условия и многомерных массивов в качестве массивов массивов.Вы также представите новый термин символ, который не встречается в $ \ mathscr {l} $ .

Так, например, если у вас есть многомерный массив, как следующее,

\ begin {pmatrix} 1 & 2 & 3 \\ X & Y & Z \ end {pmatrix}

Вы впервые преобразуете его в массив массивов,

$$ \ text {((((1 2 3) (x y z))} $$

а затем преобразовать его в условия.Предполагая, что термин символ a не находится на вашем языке, теперь вы можете представлять свой многомерный массив следующим образом:

    a(a(1,2,3),a(x,y,z))

.