التركيب (Structures) , ويسمى أيضا بالمسند المركب(Compound Predicate) , هو العبارة التي تأخذ الشكل
.(....., predicate ( argument , argument2 حيث المعامل الاول ( Argument1 ) يمكن ان يكون ثابتا ( constant ) او متغيرا (variable)
أو عبارة ( clause ) أو تركيبا ( structure ) . والأمثلة التالية تعتبر تراكيب صحيحة .
.(Like ( ali , mohamand
.(Point ( x , y , z
.((('ownd ( ahmed, book ( X , author ('Mc Craw Hillويمكن أن يحتوي التركيب على المعاملات المنطقية ( And ) , ( Or ) حيث تفسير العلامة (,) ( | ) بالمعامل ( Or ) . والمثال التالي يوضح كيفية استخدام المعامل ( , ) اي ( and )
?(Likes ( ali , mohamad) , like ( omar , mohamadوللإجابة على هذا السؤال يقوم البرولوج بالبحث في قاعدة المعرفة عن الشطر الأول من السؤال ، أي العبارة الأولى ، فإذا وجدها لاتتفق مع أي من الحقائق الموجودة رد بالنفي ( no ) واذا وجدها تتفق مع مع حقيقة من الحقائق يبدأ بالبحث عن الشطر الثاني، أي العبارة الثانية ، فإذا وجدها لا تتفق مع أي من الحقائق رد بالنفي ( NO ) ذلك رد بالإيجاب (yas ).
أما المثالين التاليين فيوضحان كيفية استخدام المعامل ( or ) وكلاهما يؤدي نفس المعنى :
?(Likes ( ali , mohamad ) ; likes ( ali , adel
?(Likes ( ali , mohamad ) | likes ( ali, adel أووفي هذه الحالة يرد البرولوج بالإيجاب ( yas ) اذا وجد اتفاق بين التعبير الأول وحقيقة من الحقائق واذا لم يجد يقوم بالبحث عن التعبير الثاني في الحقائق فإذا تم الاتفاق بينه وبين اي حقيقة رد بالإيجاب ( yas ) واذا لم يجد رد بالنفي ( no ).
ليست هناك تعليقات:
اضافة تعليق