ما هي خوارزميات توحيد شروط صفيف (متعددة الأبعاد)؟

Question

أبحث عن مراجع حول تنفيذ توحيد عبر مصطلحات صفيف متعددة الأبعاد.

هل هناك خوارزميات توحيد متخصصة لهذه الحالات؟لم أتمكن من العثور على أدب مرضية حول هذا الموضوع، وأحاول كتابة مكتبة برمجة منطق لغتها J.

Answer 1

عن طريق السياق، سأفترض أن الهدف هو القيام التوحيد في منطق الدرجة الأولى الكلاسيكية في لغة ثابتة $ \ mathscr {l} $ .(التنسيق والتصحيحات الأخرى ترحيب.)

لفترة وجيزة، يمكنك علاج صفائف كشروط ومصفيفات متعددة الأبعاد كصفوف صفائف.ستقدم أيضا رمز مصطلح جديد لا يحدث في $ \ mathscr {l} $ .

لذلك على سبيل المثال، إذا كان لديك صفيف متعدد الأبعاد مثل ما يلي،

\ ابدأ {pmatrix} 1 و 2 و 3 \\ X & Y & Z \ End {pmatrix}

عليك أولا تحويلها إلى صفيف من الصفائف،

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

ثم تحويله إلى المصطلحات.بافتراض أن مصطلح رمز a ليس في لغتك، يمكنك الآن تمثيل صفيفك المتعدد الأبعاد على النحو التالي:

giveacodicetagpre.