Prolog, Lisp y Clips son herramientas para programar artefactos electrónicos y desarrollar sistemas expertos basados en inteligencia artificial. Prolog se basa en lógica de primer orden para resolver problemas con objetos y relaciones. Lisp se centra en listas encadenadas e instrucciones, mientras que Clips fue desarrollado en C para ser más portable y rápido. Todas estas herramientas utilizan reglas y hechos para representar conocimiento.