لغة برمجة Eurisko هي نظام اكتشاف تم كتابته بواسطة دوغلاس لينات (Douglas Lenat) في لغة البرمجة RLL-1، وهي بدورها لغة تمثيلية كتبت بلغة ليسب (Lisp). تعتبر Eurisko تتمة لـ Automated Mathematician وتتألف من خوارزميات تقريبية، أي قواعد مبسطة، تشمل قواعد تصف كيفية استخدامها وتغييرها بنفسها. لينات كان محبطًا من قيود Automated Mathematician على مجال واحد فقط، لذا طور Eurisko؛ إلا أن إحباطه من الجهد الذي يبذله لترميز معرفة المجال لـ Eurisko أدى إلى تطويره اللاحق (وحتى عام 2014، واصل تطويره) لـ Cyc. يتصور لينات في النهاية ربط قاعدة معرفة Cyc بمحرك اكتشاف Eurisko.
يمكن العثور على مزيد من المعلومات حول Eurisko على صفحتها على ويكيبيديا: Eurisko – Wikipedia.
تجدر الإشارة إلى أن هذه اللغة ليست مفتوحة المصدر، وليس لديها مستودع مركزي للحزم. تم طرحها أصلاً في جامعة ستانفورد (Stanford University).