PROLOG

s m [INFORM]

Linguaxe de programación, semellante ao LISP, utilizado en intelixencia artificial. Caracterízase por incorporar un motor de inferencias.