Языки программирования в наибольшей степени отражающие гипотезы символьно-логических интеллектуальных систем: Паскаль;, С++;, ассемблер;, бейсик;, лисп;, пролог;