منطق الدرجة الأولى

​ **تمثيل المعارف ** &     الاستنتاجات  السابقة التي تم استخراجها من السؤال البسيط الذي تم طرحة ليست بالضرورة صحيحة فهي عبارة عن استنتاجات مباشرة و بسيطة لسؤال و لكن لا بد لاي برنامج جيد لتمثيل المعرفة ان يمكن العمليات الاستنتاجية ان تؤدي دورها في البرنامج . و كحال لغات البرمجة حيث لم يتوحد العالم على لغة واحدة مشتركة بل اصبح هناك العديد و العديد من لغات البرمجة فالحال هنا نفسه...