لغة البرمجة للعمل مع البديهيات

https://stackoverflow.com/questions/1200598

05-07-2019
|

سؤال

تحرير: Prolog هو الجواب.

المحلول

مقدمة جيدة للتعامل مع البديهيات. يوجد امتداد مفتوح المصدر الموجهة للكائنات من Prolog في SourceForge.net:

نصائح أخرى

أعتقد أن نظام النوع من لغة برمجة القلعة يعمل بطريقة مماثلة لما تصفه. يستخدم نظامًا من النوع الموجهة للكائنات مع سمات عامة لوصف الخصائص الجبرية للمشغلين (مثل الارتباط ، التنقل ، التوزيع ، الهوية ، التناظر ، عناصر واحدة ، عناصر صفرية وما إلى ذلك). يحتاج إلى معرفة كل هذه من أجل توزيع الحسابات تلقائيًا عبر العقد في مجموعة.

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow