لغة البرمجة للعمل مع البديهيات
-
05-07-2019 - |
سؤال
تحرير: Prolog هو الجواب.
المحلول
مقدمة جيدة للتعامل مع البديهيات. يوجد امتداد مفتوح المصدر الموجهة للكائنات من Prolog في SourceForge.net:
نصائح أخرى
أعتقد أن نظام النوع من لغة برمجة القلعة يعمل بطريقة مماثلة لما تصفه. يستخدم نظامًا من النوع الموجهة للكائنات مع سمات عامة لوصف الخصائص الجبرية للمشغلين (مثل الارتباط ، التنقل ، التوزيع ، الهوية ، التناظر ، عناصر واحدة ، عناصر صفرية وما إلى ذلك). يحتاج إلى معرفة كل هذه من أجل توزيع الحسابات تلقائيًا عبر العقد في مجموعة.
لا تنتمي إلى StackOverflow