Prolog de Primer Orden • Prolog es un ejemplo de un paradigma de programaci´ on llamado programaci´ on en l´ ogica. • Un programa en Prolog puro de primer orden es un conjunto de cl´ausulas de horn definitivas de primer orden. • Una cl´ausula de horn definitiva de primer orden es una cl´ausula, cuantificada universalmente y que contiene exactamente un literal positivo. Por ejemplo: ∀xyz (P (x, y) ∨ ¬Q(x, y) ∨ ¬R(x, y, z)) • En programaci´ on en l´ ogica, esta cl´ausula se anota simplemente como: P (x, y) ← Q(x, y), R(x, y, z) • Los predicados se anotan con letras min´ usculas. Si p de aridad n, se acostumbra a llamarlo por p/n.