سنگ های قیمتی و نیمه قیمتی یاقوت

PROLOG: در این برنامه نویسی هوش مصنوعی که برا پایه منطق می باشد بسیار کار جالب است. یک برنامه منطقی دارای یک سری ویژگیهای قانون و منطق است. در حقیقت خود این نام از برنامه نویسی PRO در LOGIC می‌آید. در این زبان یک مفسر برنامه را بر اساس یک منطق می‌نویسد. ایده استفاده توصیفی محاسبه? اولیه برای بیان خصوصیات حل مسئله یکی از محوریتهای مشارکت PROLOG است که برای علم کامپیو‌تر به طور کلی و بطور جزئی برای زبان برنامه نویسی هوشمند مورد استفاده قرار می‌گیرند.

 LISP: اصولاً LISP یک زبان کامل است که دارای کارکردها و لیست‌های لازمه برای توصیف عملکردهای جدید، تشخیص تناسب و ارزیابی معانی است. LISP به برنامه نویس قدرت کامل برای اتصال به ساختارهای اطلاعاتی را می‌دهد گر چه LISP یکی از قدیمی‌ترین‌ترین زبانهای محاسباتی است که هنوز فعال است ولی دقت کافی در برنامه نویسی وطراحی توسعه باعث شده است که این یک زبان برنامه نویسی فعال باقی بماند.

در حقیقت این مدل برنامه نویسی طوری موثر بوده‌ است که تعدادی از دیگر زبان‌ها براساس عملکرد برنامه نویسی آن بنا شده‌اند: مثل FP، ML، SCHEME

یکی از مهم‌ترین برنامه‌های مرتبط با LISP برنامه SCHEME است که یک تفکر دوباره در باره زبان در آن وجود دارد که با توسعه هوش مصنوعی و علوم کامپیوتری می تواند مورد توجه قرار گیرد.