سنتعرف في هذا الدرس على الدوال المنطقية وكيفية إجراء العمليات المنطقية بين الكائنات من أي نوع في لغة LISP.

1- الدالة AND

الوظيفة:

تقوم هذه الدالة بإجراء العملية المنطقية Logical AND بين الكائنات Objects أو تعميما بين النماذج Forms المرسلة لهذه الدالة.

يتم عمل تقييم Evaluation لهذه النماذج بالترتيب من اليسار إلى اليمين.

عندما تكون نتيجة تقييم أحد هذه الكائنات أو النماذج هي القيمة False NIL فستعود الدالة AND بالقيمة False NIL أيضا دون أن يتم عمل تقييم للنماذج أو الكائنات التي تليه.

عندما ينتهي تقييم جميع النماذج أو الكائنات، وتكون نتيجة تقييمها جميعا القيمة True T (أو مايدل عليها كما سأوضح بعد قليل) فإن AND تعود بالقيمة التي عاد بها آخر نموذج Form تم تقييمه..

إذن يجب أن نلاحظ جيدا بأنه ليس شرطا أن يعود النموذج بالقيمة True T بل إن أي نتيجة عائدة من النموذج تشير إلى أنه تم عمل تقييم لهذا النموذج (رقم، رمز، سلسلة رموز، قائمة أو غيرها...) وبالتالي تعتبر الدالة AND أن هذا النموذج عاد بالقيمة True T.

الشكل:

(and [(form[s])])

أمثلة:

القيمة الافتراضية للدالة AND هي T:

وهنا تستخدم الدالة AND للتحقق من أن العائد من جميع الدوال الموجودة هو T:

لو أسندنا القيمة 1 إلى المتغيرات الثلاث temp1, temp2, temp3 كالآتي:

ثم قمنا بعمل AND بين عدة نماذج تستخدم الدالة incf كالآتي:

فإننا نلاحظ أن العائد من الدالة هو الرقم 2 وهو ناتج التقييم لآخر Form كما أسلفنا.

وهنا المزيد من الأمثلة:

 

2- الدالة OR

الوظيفة:

تقوم هذه الدالة بإجراء العملية المنطقية Logical OR بين الكائنات Objects أو تعميما بين النماذج Forms المرسلة لهذه الدالة.

يتم عمل تقييم Evaluation لهذه النماذج بالترتيب من اليسار إلى اليمين.

عندما تكون نتيجة تقييم أحد هذه الكائنات أو النماذج القيمة هي True T فستعود الدالة OR مباشرة بالقيمة True T أيضا بدون إكمال عملية تقييم النماذج أو الكائنات التي تليه.

عندما ينتهي تقييم جميع النماذج أو الكائنات، وتكون نتيجة تقييمها جميعا القيمة True T (أو مايدل عليها كما سأوضح بعد قليل) فإن OR تعود بالقيمة التي عاد بها آخر نموذج Form تم تقييمه..

إذن يجب أن نلاحظ جيدا بأنه ليس شرطا أن يعود النموذج بالقيمة True T بل إن أي نتيجة عائدة من النموذج (رقم، رمز، سلسلة رموز، قائمة أو غيرها...) تشير إلى أنه تم عمل تقييم لهذا النموذج وبالتالي تعتبر الدالة OR أن هذا النموذج عاد بالقيمة True T.

الشكل:

(or [(form[s])])

أمثلة:

القيمة الافتراضية للدالة OR هي NIL.

 

إذا قمنا بإسناد القيم nil و 10 و 20 و30 على التوالي للمتغيرات temp0, temp1, temp2, temp3 ثم قمنا بعمل OR بين المتغيرين temp0 و temp1 مثلا مع الدالة setq التي ستقوم بإسناد قيمة جديدة للمتغير temp2 فإننا سنلاحظ أن الدالة OR وجدت قيمة على الأقل تساوي T وبالتالي ستعود بالقيمة العائدة من آخر form فيها وهذا يؤكد ما ذكرناه سابقا.

لاحظ أيضا المثال التالي والتغيرات التي حدثت في كل متغير والقيمة التي عادت من الدالة OR:

 

في الأمثلة التالية سنستخدم دالة جديدة مبنية مسبقا داخل اللغة واسمها Values ووظيفتها العودة بكائن Object يحوي قيما متعددة (وهي القيم التي نقوم بإرسالها لهذه الدالة).

في المثال السابق ونتيجة أنه أمكن حساب القيم Values في كلا النموذجين:

(values temp0 temp1)
(values temp2 temp3)

فان الدالة OR ستعود بالقيمة العائدة من آخر نموذج فيها 20 و 30 ..

 

3- الدالة NOT

الوظيفة:

هذه الدالة تقوم بإجراء العملية المنطقية Logical Not.

• تعود هذه الدالة بالقيمة True T عندما تكون نتيجة التقييم للنموذج Form المرسل لها هي False NIL.

• خلاف ذلك تعود بالقيمة False NIL.

الشكل:

(not (form))

أمثلة:

 

نتيجة:

والآن، هل عرفتَ ما هي القيم NIL و T ؟!

تعتبر NIL و T من المتغيرات المحجوزة أو المعرفة مسبقا داخل لغة LISP

i.e NIL and T are predefined variables at lisp

وتقابل NIL القيمة False أو 0 في لغات البرمجة الأخرى.

بينما تقابل T القيمة True أو 1 في لغات البرمجة الأخرى.