(다차원) 배열 항에 대한 통합을 위한 알고리즘은 무엇입니까?

Question

다차원 배열 용어에 대한 통합 구현에 대한 참고 자료를 찾고 있습니다.

이러한 경우에 특화된 통합 알고리즘이 있습니까?나는 이 주제에 대해 만족스러운 문헌을 찾을 수 없었고 J 언어용 논리 프로그래밍 라이브러리를 작성하려고 시도하고 있습니다.

Answer 1

문맥상 고정된 언어로 고전적인 1차 논리로 통일하는 것이 목표라고 가정하겠습니다. $\mathscr{L}$.(형식 및 기타 수정을 환영합니다.)

간단히 말해서 배열을 용어로 처리하고 다차원 배열을 배열의 배열로 처리할 수 있습니다.또한 $\mathscr{L}$.

예를 들어, 다음과 같은 다차원 배열이 있다면,

begin {pmatrix} 1 & 2 & 3 & 3 x & y & z end {pmatrix}

먼저 이를 배열의 배열로 변환하고,

$$ ext{((1 2 3) (x y z))}$$

그런 다음 이를 용어로 변환합니다.기호라는 용어를 가정하면 a 이(가) 귀하의 언어로 되어 있지 않으면 이제 다음과 같이 다차원 배열을 표현할 수 있습니다.

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