Un langage informatique qui intègre les concepts de systèmes axés sur les connaissances, les systèmes experts, les moteurs d'inférence et traitement du langage naturel.