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

وضعت ليسب كلغة ترميز رياضية عملية وفق تعريف تفاضل لامبدا وتكاملها لألونزو تشرش Alonzo Church's Lambda Calculus، لكنه سرعان ما فضل استخدامها في أبحاث الذكاء الاصطناعي، وبتصدرها كإحدى أقدم اللغات، قدمت ليسب مبادئ عديدة في علوم الحاسب كبنى البيانات الشجرية Tree Data Structures والبرمجة كائنية التوجه.

تشير ليسب إلى المصطلح LISt Processing language، القوائم المتصلة (بالإنجليزية: Linked Lists)‏إحدى بنى البيانات الأساسية للغة، بل إن كود المصدر للغة مكون من قوائم، وكنتيجة لذلك، تعامل برامج ليسب كود المصدر كبنية بيانات Data Structure ما يعطي شأنا لنظام الماكرو Macro الذي يسمح للمبرمجين بإنشاء صيغ جديدة أو لغة مدمجة مختصة المجال في ليسب Domain-specific Programming Language.

التبادل بين الكود والبيانات يعطي للغة ليسب صيغة تعرف فورية Instantly Recognizable Syntax، فبرامج ليسب مكتوبة بشكل التعبير الرمزي S-expression (ترمز S إلى Symbol) أو كقوائم محاطة بأقواس، فعند استدعاء دالة Function "f" لها الوسائط Arguments x وy وz، تكتب تلك الدالة كالتالي:

```
 (f x y z)

```

تاريخ ليسب
----------

قام باختراع ليسب الأمريكي جون مككارثي عام 1958 في معهد ماساتشوستس للتقنية. مككارثي نشر تصميمه على الورق في مجلة Communications of the ACM بعنوان "الدوال المتعددة للتعابير الرمزية وحسابها بالآلة "الجزء الأول" Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (علما أنه لم ينشر الجزء الثاني مطلقا)، أظهر أنه بواسطة بعض المعاملات البسيطة وإجراء ترميز للدوال، يمكن بناء لغة تطابق فكرة الشمولية لتورنغ لكن من أجل الخوارزميات.

أول من قام بتنفيذ هذا التصميم كان ستيف راسل على جهاز IBM 704، بينما ظهر أول مترجم مترجم ليسب كامل كان على يدي تيم هارت Tim Hart ومايك ليفن Mike Levin في معهد ماساتشوستس للتقنية عام 1962، اللغة التي قاما ببنائها أقرب للغة المنتشرة حاليا من التي صممها مككارثي.

### بعض إصدارات ليسب

* LISP 1.5.
* Standard LISP.
* Common LISP: إحدى الإصدارات الأكثر انتشارا.
* Scheme: إحدى الإصدارات الأكثر انتشارا، من تطوير غاي إل. ستيل وجيرالد جاي سسمان.
* Arc.
* Clojure.
* Autolisp: إصدارة ليسب المستخدمة في برنامج AutoCAD.

الصيغة والمفردات في ليسب
------------------------

تعد لغة ليسب لغة تعبيرية التوجه Expression-oriented Language. وبخلاف أغلب اللغات، لا فارق بين التعبيرات Expressions والجمل Statements، فالكود يكتب جميعه كتعبيرات.

لعل ما يميز صيغة كود ليسب الأقواس المستخدمة في الإحاطة بين التعبيرات، وقد سبق ذكر المصطلح S-expression الذي يعطي لصيغة ليسب استخدام الرموز.

قائمة ليسب LISP List تكتب بين قوسين بداخلهما تسرد العناصر مفصولة بمسافة بيضاء، مثلا:

```
 (1 2 foo)

```

هذه قائمة بها عناصر تسمى ذرات Atoms، وهي العددين 1 و2 وfoo، العنصر foo نوع من البيانات في ليسب يدعى «رمز Symbol»، يتم التعرف على نوع العنصر دون الحاجة للإعلان عنه.
القائمة الخالية () تعتبر ذرة خاصة `nil` حيث يمكن اعتبارها ذرة إضافة لكونها قائمة.

قد تدخل القوائم كعناصر داخل قائمة ما، مثلا:

```
 ((1 2 (3 4)))

```

القائمة السابقة مكونة من عددين وقائمة بها عددين.

التعبيرات في ليسب تكتب كقوائم باستخدام صيغة الرموز أولا Prefix Notation، العنصر الأول هو اسم النموذج Form (مثلا: دالة Function، معامل حسابي Operator، ماكرو Macro، أو معامل خاص Special Operator وسيأتي شرحه)، بينما بقية العناصر تعد وسائط Arguments. على سبيل المثال، الدالة `list` تعيد وسائطها كقائمة، والتعبير التالي:

```
 (list '1 '2 'foo)

```

يمثل هذه القائمة (1 2 foo). علامات التنصيص التي تسبق الوسائط تعد إحدى المعاملات الخاصة Special Operators، تمنع علامات التنصيص الوسائط من إجراء الحساب عليها (ليس ذلك ضروريا مع الأعداد طالما أن العدد 1 هو 1 على سبيل المثال)، بينما الوسائط التي تخلو من تلك المعاملات فيتم تنفيذها بشكل دوري Recursively قبل الانتهاء من التعبير، المثال التالي:

```
 (list 1 2 (list 3 4))

```

يمثل هذه القائمة (1 2 (3 4))، لاحظ أن الوسيط الثالث هو قائمة، فالقوائم يمكن أن تتداخل كما سبق ذكره.

وبالمثل تعامل المعاملات الحسابية، ففي التعبير التالي:

```
 (+ 1 2 3 4)

```

سيتم حساب القائمة وإعادة الناتج 10. يمكن توضيح المعادلة نفسها بصيغة «الرموز بالداخل Infix Notation» فتكون "1+2+3+4". المعاملات الحسابية في ليسب من نوع n-ary أي قابلة لاستقبال أي عدد n من الوسائط.

### الذرات Atoms

في تصميم ليسب الأصلي، كان هناك نوعان أساسيان فقط من أنواع البيانات: الذرات Atoms والقوائم Lists. كانت القائمة سلسلة من العناصر، حيث يعتبر كل عنصر ذرة أو قائمة أخرى متداخلة، والذرة قد تكون عددا Number أو رمزا Symbol، أما الرمز فقد كان عنصرا مميزا مكونا من سلسلة من الأحرف والأرقام، وكان يستخدم كاسم متغير أو عنصر بيانات في معالجة الرموز، على سبيل المثال، القائمة `(FOO (BAR 1) 2)` تحتوي على ثلاث عناصر، الرمز FOO، القائمة (BAR 1) والعدد 2.

الفارق الجوهري بين الذرة والقائمة كان في ثبات الذرة وتميزها، بينما كانت القائمة عنصرا منفصلا يمكن لها أن تتغير باستقلال عن القوائم الأخرى ويمكن لها أن تتميز عن القوائم الأخرى بواسطة معاملات المقارنة.

### الكونسس (الخلايا) والقوائم Conses and Lists

القائمة في ليسب تكون فردية الارتباط، كل خلية فيها تدعى كونس أو زوج Pair كما في صيغة سكيم Scheme، وتتكون من مؤشرين، `car` و`cdr` ويماثلان حقلي data وnext المعروفان في موضوع القوائم المتصلة Linked List.

من بين البنى المتعددة للبيانات التي يمكن إنشاؤها بواسطة الخلايا هناك القائمة التامة Proper List، هذه القائمة قد تكون قائمة خالية (مجازا، تحتوي الرمز الخاص `nil`)، أو قد تكون خلية يؤشر الجزء `car` إلى وحدة بيانات (وقد تكون بنية أخرى كأن تكون قائمة)، أما الجزء `cdr` يؤشر إلى قائمة تامة أخرى.

فيما لو وجدت خلية معطاة بمقدمة قائمة متصلة، فالجزء `car` بها يحدد العنصر الأول من القائمة، والجزء `cdr` يؤشر إلى باقي القائمة، لهذا فإن دوال `car` و`cdr` تسمى أيضا `first` و`rest` عند الحديث عن خلايا في بنية القوائم المتصلة (بدلا من البنى الأخرى كالشجرة tree مثلا).
إذا القائمة في ليسب لا تعتبر وحدة أساس، كحال أي نسخة Instance من صنف Class في لغة كجافا أو سي++، المتغير الذي يشير إلى قائمة معطاة هو ببساطة مؤشر إلى الخلية الأولى لتلك القائمة.

ولأن استخدام الخلايا والقوائم شائع بكثرة في أنظمة ليسب، فهناك اعتقاد خاطئ شائع بأنها البنية الوحيدة للبيانات في ليسب، لكن بالواقع، هناك بنى أخرى أبسط تكوينا كالمتجهات Vectors (المصفوفات Arrays)، الجداول المتشابكة Hash Tables، البنى Structures وهكذا.

### تمثيل القوائم المتصلة بالتعابير الرمزية

يمكن تمثيل بنية القائمة المتصلة بأقواس التعابير الرمزية بطرق مختلفة، يمكن كتابة الخلية في القائمة المتصلة بطريقة ترميز النقطة-الزوج dotted-pair notation، مثلا: `(a. b)`، حيث a هو الجزء `car` وb هو الجزء `cdr`، يمكن كتابة قائمة تامة طويلة بتلك الطريقة كالتالي:

```
 (a. (b. (c. (d. nil))))

```

ويمكن اختصار كتابة القائمة السابقة بطريقة ترميز القائمة List Notation كالتالي:

```
 (a b c d)

```

يتم كتابة قائمة غير تامة Improper List عند الجمع بين اثنين (مثلا c مع d) لقائمة بها ثلاثة خلايا كالتالي: `(a b c. d)` حيث أن العنصر d هو آخر جزء `cdr`. القائمة التالية هي الصورة الصحيحة:

```
 (a. (b. (c. d)))

```

### عمليات المعالجة في القوائم

يقدم ليسب إجراءات مبنية داخليا Built-in Procedures للوصول Access والتحكم بالقوائم Controlling List. يمكن إنشاء القوائم مباشرة بالإجراء `list`، الذي يأخذ أي عدد من الوسائط، ويعيدها كعناصر بالقائمة:

```
 (list 1 2 'a 3)
;Output: (1 2 a 3)

```

مثال آخر:

```
 (list 1 '(2 3) 4)
;Output: (1 (2 3) 4)

```

ولأن القوائم يمكن أن يتم إنشاؤها بشكل أزواج وخلايا، فالإجراء `cons` يمكن أن يدرج عنصرا بمقدمة القائمة، لاحظ أن هذا الإجراء مختلف في تعامله مع الوسائط بسبب الاختلاف في طرق إنشاء القوائم:

```
 (cons 1 '(2 3))
;Output: (1 2 3)

```

مثال آخر:

```
 (cons '(1 2) '(3 4))
;Output: ((1 2) 3 4)

```

الإجراء `append` يلحق اثنين أو أكثر من القوائم إلى قائمة معينة:

```
 (append '(1 2) '(3 4))
;Output: (1 2 3 4)

```

مثال آخر:

```
 (append '(1 2 3) '() '(a) '(5 6))
;Output: (1 2 3 a 5 6)

```

### البنية المشتركة

بما أن القوائم في ليسب قوائم متصلة بسيطة، فهي تستطيع مشاركة بنية ما مع قوائم أخرى، فيمكن لقائمتين أن تشترك بذيل Tail واحد، أو بآخر سلسلة من الخلايا. مثلا:

```
 (setf foo (list 'a 'b 'c)) (setf bar (cons 'x (cdr foo)))

```

القائمة foo لها العناصر (a b c) والقائمة bar لها (x b c)، الذيل (b c) يدخل في بنية كلا من القائمتين فهو ليس نسخة مكررة.

يؤدي عمل البنية المشتركة إلى تحسن في الأداء بشكل أفضل من مجرد نسخ العناصر المتكررة، لكن بالمقابل فإن أي تغيير في البنية المشتركة يؤثر على القوائم المبنية عليها، فمثلا:

```
 (setf (third foo) 'goose)

```

عند استبدالنا العنصر c في القائمة foo بالعنصر goose، ستتغير القائمة إلى (a b goose) ولكن القائمة bar ستتغير أيضا إلى (x b goose).

### التنفيذ التلقائي Self-evaluate وعلامات التنصيص

يقوم ليسب بتنفيذ (أو حساب) القوائم التي يدخلها المستخدم إلى صور أخرى، وعادة ما تكون مبسطة، مثلا، القائمة (+ 2 3) تنفذ ويعاد الناتج 5. النماذج الأخرى عادة ما تنفذ وتعيد نفسها، فالعدد 5 يعيد العدد 5.

هناك عبارات يمكن وضعها بعد علامات تنصيص لمنع إجراء عملبات تنفيذ عليها (كما هو ضروري للرموز والقوائم كما ظهر ذلك بالأمثلة السابقة)، وهنا يظهر عمل المعامل الخاص `quote` أو اختصاره علامة التنصيص الفردية `'`. مثلا، عند إدخال الرمز foo، سيتم تنفيذه وإعطاء القيمة التي يحملها، أو تظهر رسالة خطأ لو لم يحمل أي قيمة، لكن لو أردت الإشارة إلى الرمز حرفيا، فيجب كتابة `(quote foo)` أو اختصارا by writing  `'foo` .

أمثلة
-----

البرامج المكتوبة أدناه بصيغة كومون ليسب Common LISP:

برنامج طباعة العبارة Hello world! الشهير:

```
 (print "Hello world")

```

صيغ ليسب تتجه بشكل طبيعي إلى التدوير Recursion، ولذلك بعض المسائل الرياضية يمكن التعبير عنها ببساطة كما بالمثال التالي الذي يقوم بحساب مضروب عدد n:

```
 (defun factorial (n)
 (if (<= n 1)
 1
 (\* n (factorial (- n 1)))))

```

المثال السابق يمكن استخدام ماكرو الدوار loop بدلا من التدوير

```
 (defun factorial (n)
 (loop for i from 1 to n
 for fac = 1 then (\* fac i)
 finally (return fac)))

```

انظر أيضاً
----------

* نيو ليسب مترجم ليسب فوري ومفتوح المصدر.
* يوريسكو

مراجع
-----

1. ↑  وصلة مرجع:. الوصول: 27 سبتمبر 2016.
2. ↑  Weinreb، Daniel. "Common Lisp Implementations: A Survey". مؤرشف من الأصل في 2018-06-22. اطلع عليه بتاريخ 2012-04-04.
3. ↑  Outils de generation d’interfaces : etat de l’art et classification by H. El Mrabet نسخة محفوظة 01 أكتوبر 2017 على موقع واي باك مشين.
4. ↑  "ISO/IEC 13816:1997". Iso.org. 1 أكتوبر 2007. مؤرشف من الأصل في 2016-07-30. اطلع عليه بتاريخ 2013-11-15.

وصلات خارجية
------------

* History of Lisp – جون مكارثي (عالم)'s history of 12 February 1979

|  |  |
| --- | --- |
| مشاريع شقيقة | في كومنز صور وملفات عن: ليسب |



| * ع
* ن
* ت
لغات برمجة |
| --- |
| 
* إي شارب (.نت)
* أيدا
* أكشن سكربت
* إرلانج
* باسكال
* بايثون
* بلو
* برولوغ
* بوو
* بي إتش بي
* بيرل
* بيسيك
* بيتا
* تايب سكريبت
* جافا
* جافا سكريبت
* ديبول
* رياكت
* جايثون
* دلفي
* دي
* هاسكل
* روبي
* سكالا
* سي
* سي#
* سويفت
* سي++/سي إل آي
* سي++
* غراف كيو إل
* فورتران
* فيجوال بيسك
* كوبول
* كريستال
* كومال
* كريبتون
* كوتلن
* كوبرا
* لغة تجميع
* ليسب
* لنكس
* مودولا
* نيم

* ***القائمة***

 |

| * ع
* ن
* ت
لغة برمجة ليسب |
| --- |
| الميزات | 

|  |
| --- |
| 
* جمع القمامة (حاسوب)
* تعبير شرطي
* نظام الأنواع
* Higher-order function
* قائمة متصلة
* M-expression (deprecated)
* Read–eval–print loop
* استدعاء ذاتي (علم الحاسوب)
* S-expression
* استضافة ذاتية محول برمجي
* شجرة (بنية بيانات)

 |
| برمجة كائنية التوجه | 
* Common Lisp Object System (CLOS)
* CommonLoops
* Flavors

 |

 |
| تنفيذ لغات البرمجة | 

|  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| وجود المعاييرالتقنية | 

|  |  |
| --- | --- |
| ليسب شائع | 
* Allegro Common Lisp
* Armed Bear Common Lisp (ABCL)
* CLISP
* Clozure CL
* CMU Common Lisp (CMUCL)
* Corman Common Lisp
* Embeddable Common Lisp (ECL)
* GNU Common Lisp (GCL)
* LispWorks
* Macintosh Common Lisp
* Mocl
* Movitz
* بوبلوج
* Steel Bank Common Lisp (SBCL)
* Symbolics Common Lisp

 |
| سكيم | 
* *History*
* Bigloo
* Chez Scheme
* Chicken
* Gambit
* Game Oriented Assembly Lisp (GOAL)
* Ikarus
* JScheme
* Kawa
* Larceny
* MIT/GNU Scheme
* MultiLisp
* Pocket Scheme
* Racket
* RScheme
* Scheme 48
* SCM
* SIOD
* T
* TinyScheme

 |
| ISLISP | 
* OpenLisp

 |

 |
| غير قياسي | 

|  |  |
| --- | --- |
| لوغو | 
* MSWLogo
* NetLogo
* StarLogo
* UCBLogo

 |

* Arc
* أوتوليسب
* BBN LISP
* كلوجر (لغة برمجة)
* ديلان (Apple, *history*)
* Emacs Lisp
* EuLisp
* Franz Lisp, PC-LISP
* Hy
* Interlisp
* Knowledge Engineering Environment
* \*Lisp
* LeLisp
* LFE
* Lisp Machine Lisp
* Maclisp
* MDL
* MLisp
* نيو ليسب
* NIL
* PC-LISP
* Picolisp
* Portable Standard Lisp
* RPL
* S-1 Lisp
* SKILL
* Spice Lisp
* Zetalisp
 |
| نظام التشغيل | 
* Common Lisp Interface Manager, McCLIM
* Genera
* Scsh

 |

 |
| عتاد الحاسوب | 
* Lisp machine
* TI Explorer
* لوحة مفاتيح سبيس كاديت

 |
| مجتمع الممارسة | 

|  |  |
| --- | --- |
| المعايير التقنية | 
* Scheme Requests for Implementation
* Common Lisp HyperSpec
* X3J13

 |
| التعليم | 

|  |  |
| --- | --- |
| كتب | 
* Common Lisp the Language
* How to Design Programs (HTDP)
* On Lisp
* Practical Common Lisp
* Structure and Interpretation of Computer Programs (SICP)

 |
| منهج دراسي | 
* ProgramByDesign

 |

 |
| المنظمات | 

|  |  |
| --- | --- |
| الشركات | 
* أبل
* بي بي إن للتكنولوجيا
* Harlequin
* Lucid Inc.
* سيمبوليكس
* Xanalys

 |
| التعليم | 
* معهد ماساتشوستس للتكنولوجيا (MIT)
* MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
* Stanford Artificial Intelligence Laboratory
* جامعة كاليفورنيا (بركلي)

 |

 |
| أشخاص | 

|  |
| --- |
| 
* إدموند بيركلي
* دانيال ج. بوبرو
* William Clinger
* R. Kent Dybvig
* Matthias Felleisen
* Robert Bruce Findler
* Matthew Flatt
* فيليس فوكس
* بول غراهام
* Richard Greenblatt
* Timothy P. Hart
* لويس هودز
* Mike Levin
* David Luckham
* جون مكارثي (عالم)
* روبرت تابان موريس
* جويل موزس
* ديفيد بارك (مهندس)
* ستيف راسيل (مهندس)
* ريتشارد ستولمن

 |
| ليسب شائع | 
* سكوت فالمان
* Richard P. Gabriel
* Philip Greenspun (10th rule)
* David A. Moon
* Kent Pitman
* قاي إل. ستيل
* Daniel Weinreb

 |
| سكيم | 
* Shriram Krishnamurthi
* قاي إل. ستيل
* Gerald Jay Sussman
* Julie Sussman

 |
| لوغو | 
* هال أبيلسون
* Denison Bollay
* Wally Feurzeig
* برايان هارفي (عالم حاسوب)
* سيمور بابيرت
* Mitchel Resnick
* سينثيا سولومون

 |

 |

 |
| 
* **تصنيف:ليسب**
* **تصنيف**
* **قائمة**

 |

| * ع
* ن
* ت
برمجيات حرة ومفتوحة المصدر |
| --- |
| عام | 
* حقوق متروكة
* مشروع جنو
* برمجيات حرة
* مصدر مفتوح
* نظام النافذة إكس
* برمجيات مفتوحة المصدر
* حركة البرمجيات الحرة
* قائمة البرامج الحرة مفتوحة المصدر

 |  |
| أنظمة تشغيل | 
* توزيعة برمجيات بيركلي
* داروين
* جنو
* مينيكس
* أوبن سولاريس
* رياكت أو إس
* توزيعة برمجيات بيركلي
* فري دوس
* هايكو
* لينكس

 |
| تطوير | 
* تجميعة مترجمات جنو
* بي إتش بي
* بايثون
* بيرل
* إكلبس
* فري باسكال
* جامباس
* مترجم شفرة حاسوب جنو
* جافا
* نت بينز
* لوا
* روبي
* تي سي إل

 |
| مديرو نوافذ | 
* فلكس بوكس
* جنوم
* كدي
* إكس إف سي إي

 |
| منظمات | 
* مبادرة المصدر المفتوح
* مؤسسة البرمجيات الحرة
* مؤسسة لينكس
* الجمعية الثقافية العلمية جنو/لينوكس و البرمجيات الحرة
* مؤسسة موزيلا
* أندرويد
* مؤسسة برمجيات أباتشي
* مؤسسة إكلبس
* فري دسكتوب.أورج
* مؤسسة جنوم
* مشروع جنو
* جوجل كود
* سورس فورج

 |
| تراخيص | 
* رخصة أباتشي
* رخصة بي إس دي
* رخصة جنو العمومية
* رخصة جنو العمومية الصغرى
* رخصة موزيلا العمومية
* رخصة إم أي تي
* رخص البرمجيات الحرة المتساهلة
* رخصة إكليبس العمومية

 |
| التحديات | 
* إدارة الحقوق الرقمية
* برمجيات احتكارية
* Secure boot

 |
|  تصنيف •  كومنز •  بوابة |

| ضبط استنادي عدلها في ويكي بيانات |
| --- |
| دولية | 
* المُعرِّف مُتعدِّد الأوجه (FAST)

 |
| وطنية | 
* المكتبة القومية الإسبانية (BNE)
* المكتبة الوطنية الفرنسية (BnF)
* الملف الاستنادي المتكامِل (GND)
* المكتبة القومية الإسرائيلية (J9U)
* مكتبة الكونغرس (LCNAF)
* قاعدة البيانات الوطنية التشيكية (NLCR AUT)

 |
| أخرى | 
* النظام الجامعي للتوثيق (IdRef)

 |

* أيقونة بوابةبوابة برمجة الحاسوب