Prolog de Primer Orden

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 pr

86 downloads 137 Views 185KB Size

Story Transcript

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.

Jorge Baier Aranda, PUC

Get in touch

Social

© Copyright 2013 - 2021 MYDOKUMENT.COM - All rights reserved.