تحليل مع DCGs في برنامج (بدون حاسوب)؟

Question

والكثير من تطبيقات حاسوب في ومخطط وهناك. مثلا Kanren، Schelog.

وعلى ما يبدو في "المثل من منظمة العفو الدولية البرمجة" نورفيج تنفذ-حاسوب ليسب المترجم في اللثغة من أجل استخدام القواعد النحوية شرط واضح.

ولكن هناك طريقة أبسط نظافة؟ ربما بعض استخدام ذكي للAMB لتجنب تنفيذ كامل "برولوج"؟ ما هي أسهل طريقة لتحليل يستند DCG في مخطط؟

Answer 1

وDCGs استخدام كل من توحيد والتراجع، لذلك ليس هناك تجنب تنفيذ جوهر حاسوب. وهذا هو، يمكنك تمثيل أي برنامج حاسوب نقية كما DCG تحليل قائمة فارغة.

وكنت قد تفعل ذلك إذا كنت لا يهتمون إلا بعض الحالات الخاصة من DCGs، مثل تلك التي بدون المتغيرات (جيد فقط للاعتراف، لا تحليل).