سنتعرف في هذا الدرس على دالتان شرطيتان هما:

1- الدالة COND
2- الدالة IF

وهي كفيلة بتحقيق جميع مطالبنا في الدروس المتقدمة من سلسلة LISP ولا تقلق فستكون هناك مشاريع برمجية وأمثلة أكثر متعة، ولكن عندما يكون لدينا أساس في كل شيء :)

على بركة الله :)

1- الدالة COND

الوظيفة:

تقوم هذه الدالة بتنفيذ نموذج Form أو أكثر اعتمادا على نتيجة اختبار نموذج Form معين، سنسميه عادة بـ test-form أو للتبسيط Condition. قد نحتاج إلى اختبار نموذج واحد أو أكثر في الوقت نفسه (أي قد يوجد أكثر من test-form واحد) وعندئذ سنحتاج لنربط بينهم بإحدى العلامات المنطقية AND أو OR.

إذا لم يتم كتابة أي نماذج Forms لتنفيذها عند تحقق شرط الدالة COND فان الدالة COND ستعود بالقيمة العائدة من الـtest-form.

وعندما لا يتحقق الـtest-forms فإن الدالة COND سوف تعود بالقيمة False NIL.

والآن بعد هذا التوضيح البسيط للدالة COND سوف نتعرف على شكل هذه الدالة وأمثلة تطبيقية عليها.

الشكل:

(cond ((condition) (form[s])…)

أمثلة:

مثال1:
المثال التالي يحتوي على Condition واحد وForms واحد يتم تنفيذه عند تحقق هذا الشرط:

مثال2:
سنقوم في هذا المثال بوضع أكثر من Condition ونربط بينهم مرة بالعلامة المنطقية AND ومرة بالعلامة المنطقية OR وسيكون هناك Form واحد للطباعة.

آه تذكرت! بخصوص دالة الطباعة لا تقلق فسوف أشرحها أيضا في الدرس القادم إن شاء الله.

1. 
   

   الدالة COND تقبل بوجود أكثر من Form بمساعدة دالة أخرى هي الدالة PROGN



2. 
   

   لكتابة أكثر من Form واحد بحيث يتم تنفيذها جميعا عند تحقق شرط الدالة COND نكتب PROGN ثم نفتح قوسين دائريين ( ) ونكتب بداخلها كل الـForms التي نرغب بتنفيذها مع وضع أقواس دائرية ( ) في بداية ونهاية كل form كما لاحظنا..



3. 
   

   لا تنس ترتيب برنامجك وجعل الـStructure-Style له جيد أي أن تكتب الدالة على عدة سطور وفي عدة مستويات حتى يكون الكود أكثر وضوحا More Readable and clearable.

مثال6:

سنتعرف في أول درس من دروس القسم المتقدم من سلسلة LISP على كيفية تعريف الدوال من قبل المبرمج.. وسأعرف لكم العديد جدا من الدوال وسنبني العديد من التطبيقات الذكية والصغيرة، لكني أحببت وضع المثال هذا هنا حتى يكون في مكانه:)

في البداية، سنقوم بتعريف دالة بسيطة جدا اسمها select-options وتقوم باستخدام الدالة COND في عملها..

وبعد تعريف الدالة بفرض أننا أسندنا القيمة واحد للمتغير a:

2- الدالة IF

الوظيفة:

تسمح هذه الدالة بتنفيذ إجراء معين اعتمادا على تحقق test-form أو Condition وحيد..
ولذا عند وجود أكثر من Condition فإنه لابد أن نربطهم بالعلامة المنطقية AND أو OR حسب حالة وشكل الشرط الذي نريده.

وكما سنلاحظ في شكل الدالة فإن كتابة جزء خاص بالـ else يعد اختياريا يمكن كتابته أو تركه ولذا وضعنا هذا الجزء داخل أقواس مربعة [ ] للدلالة على أن ما بينهما اختياري.

وآلية عمل هذه الدالة والنتائج المحتملة هي كالتالي:

• 
  

  عند تحقق الـشرط Condition أو الـtest-form فان الجزء then-part يتم تنفيذه..



• 
  

  أما عند عدم تحقق الشرط فان الجزء else-part يتم تنفيذه اذا كان موجودا.. أما في حال عدم وجوده فان الدالة if ستعود بالقيمة NIL.

الشكل:

(if (condition) (then-part) [(else-part)])

أمثلة:

مثال1:
افترض أننا أسندنا قيمة معينة للمتغير x ولتكن القيمة العددية 3 ثم قمنا باستخدام الدالة if للتحقق من أن قيمة x أكبر من الصفر فإذا ماكان الأمر كذلك فإنه سيتم طباعة العبارة

“X is greater than 0”

مثال2:
في هذا المثال نشترط أن يكون X عدد صحيح وأكبر من أو يساوي 5
فاذا ما وضعنا لـX قيمة أقل من 5، أو قيمة أكبر من 5 ولكنها عشرية مثلا 5.5 فإن الدال IF ستعود بالقيمة NIL.

مثال3:

مثال4:

حالات خاصة:
هذا المثال يبين أن المعرفة مسبقا في اللغة أو التي نقوم بتعريفها تأخذ القيمة T.. ماعدا المتغير NIL المعرف في اللغة فإنه يأخذ القيمة NIL..

لذا لاحظ المثال التالي:

مثال4:

الدالة test المعرفة في هذا المثال تقوم بعمل حلقة تكرارية داخل عناصر القائمة (t nil 1 (a b c)) –لاحظ أن القائمة يمكن أن تحتوي على قوائم أخرى– فيتم تناول عناصر هذه القائمة واحدا تلو الآخر عن طريق الدالة dolist وفي كل مرة نتناول في أحد هذه العناصر سنسميه بالاسم truth-value..
وخلال الحلقة dolist سيتم تنفيذ two forms:

الأول: IF

سيتم فيه اختبار truth-value:
فإذا كانت قيمته T فسيتم طباعة True
أما إذا كانت قيمته NIL فسيتم طباعة False

الثاني: PRINT
وسيتم فيه طباعة قيمة truth-value أيا كانت.

وعند استدعاء الدالة test فإنها ستعود بطباعة عبارة TRUE أو FALSE حسب حالة العنصر ثم طباعة العنصر نفسه لجميع عناصر القائمة..

نتيـــجة:

هل اكتشفت وجه الشبه والاختلاف بين الدالتين COND و IF ؟! :)

(if test-form then-form else-form) == (cond (test-form then-form) (t else-form))