المساق
arXiv 2003-10-10 1 مشاهدة

Pure Prolog Execution in 21 Rules

Kulas, Marija

Programming Languages Logic in Computer Science F.3.2; F.3.1; D.2.5; I.2.3

الأصل · EN

A simple mathematical definition of the 4-port model for pure Prolog is given. The model combines the intuition of ports with a compact representation of execution state. Forward and backward derivation steps are possible. The model satisfies a modularity claim, making it suitable for formal reasoning.

الترجمة العربية

لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.

تحقّق أمني

اكتب الأحرف الظاهرة أعلاه

حتى 10 ترجمات لكل شخص يومياً.

اقرأ على arXiv