برولوغ
مراجع

↑  Sterling، Leon (2002). "Patterns for Prolog Programming". Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. ج. 2407. ص. 17–26. DOI:10.1007/3-540-45628-7_15. ISBN:978-3-540-43959-2.
↑  Clocksin، William F.؛ Mellish، Christopher S. (2003). Programming in Prolog. Berlin ; New York: Springer-Verlag. ISBN:978-3-540-00678-7.
↑  "An abstract Prolog instruction set". Technical Note 309, معهد ستانفورد للأبحاث, Menlo Park, CA, October 1983. نسخة محفوظة 04 مارس 2016 على موقع واي باك مشين.
| ع ن لغات برمجة | ع ن لغات برمجة |
| --- | --- |
 إي شارب (.نت)  أيدا  أكشن سكربت  إرلانج  باسكال  بايثون  بلو  برولوغ  بوو  بي إتش بي  بيرل  بيسيك  بيتا  تايب سكريبت  جافا  جافا سكريبت  ديبول  رياكت  جايثون  دلفي  دي  هاسكل  روبي  سكالا  سي  سي#  سويفت  سي++/سي إل آي  سي++  غراف كيو إل  فورتران  فيجوال بيسك  كوبول  كريستال  كومال  كريبتون  كوتلن  كوبرا  لغة تجميع  ليسب  لنكس  مودولا  نيم القائمة :  إي شارب (.نت)  أيدا  أكشن سكربت  إرلانج  باسكال  بايثون  بلو  برولوغ  بوو  بي إتش بي  بيرل  بيسيك  بيتا  تايب سكريبت  جافا  جافا سكريبت  ديبول  رياكت  جايثون  دلفي  دي  هاسكل  روبي  سكالا  سي  سي#  سويفت  سي++/سي إل آي  سي++  غراف كيو إل  فورتران  فيجوال بيسك  كوبول  كريستال  كومال  كريبتون  كوتلن  كوبرا  لغة تجميع  ليسب  لنكس  مودولا  نيم القائمة 
| ع ن معايير المنظمة الدولية للمعايير | ع ن معايير المنظمة الدولية للمعايير |
| --- | --- |
قائمة معايير الأيزو  - قائمة معايير IEC  - تصنيف:معايير الأيزو: قائمة معايير الأيزو  - قائمة معايير IEC  - تصنيف:معايير الأيزو
1–9999:  1  2  3  4  5  6  7  9  16  31 (-0  -1  -2  -3  -4  -5  -6  -7  -8  -9  -10  -11  -12  -13)  128  216  217  226  228  233  259  269  302  306   428  518  519  639 (-1  -2  -3  -5  -6)  646  690  732  764  843  898  1000  1004  1007  1073-1  1413  1538  1745  2014  2015  2022  2108  2145  2146  2240  2281  2709  2711  2788  2852  3029  3103  3166 (-1  -2  -3)  3297  3307  3602  3864  3901   3977  4031  4157  4217  5218  5775  5776  5800  5964  6166  6344  6346  6425  6429  6438  6523  6709  7001  7002  7098  7185  7200  7498  7736  7810  7811  7812  7813  7816  8000  8178  8217  8571  8583  8601  8632  8652  8691  8807  8820-5  8859 (-1  -2  -3  -4  -5  -6  -7  -8  -9  -10  -11  -12  -13  -14  -15  -16)  8879  9000/9001  9075  9126  9293  9241  9362  9407  9506  9529  9564  9594  9660  9897  9945  9984  9985  9995 
10000–19999:  10006  10118-3  10160  10161  10165  10179  10206  10218  10303 (-11  -21  -22  -28  -238)  10383  10487  10585  10589  10646  10664  10746  10861  10957  10962  10967  11073  11170  11179  11404  11544  11783  11784  11785  11801  11898  11940  11941  11941 (TR)  11992  12006  12182  12207  12234-2  13211 (-1  -2)  13216  13250  13399  13406-2  13407  13450  13485  13490  13567  13568  13584  13616  14000  14031  14396  14443  14496 (-2  -3  -6  -10  -11  -12  -14  -17  -20)  14644 (-1  -2  -3  -4  -5  -6  -7  -8  -9)  14649  14651  14698 (-2)  14750  14882  14971  15022  15189  15288  15291  15292  15408  15444  15445  15438  15504  15511   15686  15693  15706  (-2)  15707   15897  15919  15924  15926  15926 WIP  15930  16023  إي سي إم ايه سكريبت  16750  17024  17025  17369  17799  18000  18004  18014  18245  18629  18916  19005  19011  19092 (-1  -2)  19114  19115  19125  19136  19439  19501:2005  19752  19757  19770  19775-1  19794-5 
20000+:  20000  20022  21000  21047   21827:2002  22000  23270  23271  23360  هيكل الترميز اللغوي  24707  25178  25964-1  26000  26300  26324  27000 series  27000  أيزو/أي إي سي 27001  27002  27003  27004  27005  27006  27007  معرف الاسم القياسي الدولي  27799  28000  29110  29199-2  29500  31000  32000  38500  42010  50001  80000 (-2) 
| ع ن المعرفة المحوسبة | ع ن المعرفة المحوسبة |
| --- | --- |
مواضيع ومفاهيم:  أبجدية الفكر الإنساني  ضبط استنادي  استدلال آلي  Commonsense knowledge  ‏  تفكير بديهي  الحاسوبية  نظام شكلي  محرك الاستدلال  قاعدة معرفة  نظم قواعد المعرفة  هندسة المعرفة  استخراج المعرفة  تمثيل المعرفة  استرجاع المعرفة  تصنيف المكتبات  برمجة منطقية  أنطولوجية (علم المعلومات)  قاعدة المعرفة الشخصية  إجابة الأسئلة   Semantic reasoner 
مقترحات وتطبيقات:  علم الزائرجة  رامون لول (1300)  An Essay towards a Real Character, and a Philosophical Language (1688)  أداة الاستدلال المنطقي لحساب التفاضل والتكامل  و characteristica universalis (1700)  تصنيف ديوي العشري (1876)  Begriffsschrift (1879)  Mundaneum (1910)  مذهب الذرية المنطقية (1918)  مصنف منطقي فلسفي (1921)  برنامج هيلبرت (عقد 1920)  مبرهنات عدم الاكتمال لغودل (1931)  دماغ العالم  (1938)  ميمكس (1945)  General Problem Solver (1959)  برولوغ (1972)  Cyc (1984)  ويب دلالي (2001)  إيفي (2007)  ولفرام ألفا (2009)  واتسون (حاسوب) (2011)  سيري (2011)  مخطط المعرفة (2012)  ويكي بيانات (2012)  كورتانا (2014)  فيف (2016) 
في الخيال:  المحرك ( رحلات غوليفر ، 1726)  Joe ("A Logic Named Joe"، 1946)  أمين المكتبة ( Snow Crash ، 1992)  Dr. Know ( أي آي : الذكاء الاصطناعي (فيلم) ، 2001)  منزل الماء ( The Baroque Cycle , 2003) 
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
وطنية:  المكتبة الوطنية الفرنسية (BnF)  المكتبة القومية الإسرائيلية (J9U)  مكتبة الكونغرس (LCNAF)  قاعدة البيانات الوطنية التشيكية (NLCR AUT) 
أخرى:  النظام الجامعي للتوثيق (IdRef) 
بوابة برمجة الحاسوب
بوابة ذكاء اصطناعي
بوابة رياضيات
بوابة علم الحاسوب
بوابة فلسفة
بوابة منطق