Programació lògica
paradigma de programació basat en la lògica formal From Wikipedia, the free encyclopedia
Remove ads
paradigma de programació basat en la lògica formal From Wikipedia, the free encyclopedia
La programació lògica consisteix en l'aplicació del corpus de coneixement sobre lògica per al disseny de llenguatges de programació; no ha de confondre's amb la disciplina de la lògica computacional.
La programació lògica és un tipus de paradigmes de programació dins del paradigma de programació declarativa. La resta dels subparadigmes de programació dins de la programació declarativa són: programació funcional, programació basada en restriccions, programes DSL (de domini específic) i híbrids. La programació lògica gira entorn del concepte de predicat, o relació entre elements. La programació funcional es basa en el concepte de funció (que no és més que una evolució dels predicats), de caràcter més matemàtic.
Històricament, els ordinadors s'han programat utilitzant llenguatges molt propers a les peculiaritats de la mateixa màquina: operacions aritmètiques simples, instruccions d'accés a memòria, etc. Un programa escrit d'aquesta manera pot ocultar totalment el seu propòsit a la comprensió d'un ésser humà, fins i tot un entrenat. Avui dia, aquests llenguatges pertanyents al paradigma de la programació imperativa han evolucionat de manera que ja no són tan críptics.
En canvi, la lògica matemàtica és la manera més senzilla, per a l'intel·lecte humà, d'expressar formalment problemes complexos i de resoldre'ls mitjançant l'aplicació de regles, hipòtesis i teoremes. Per aquest motiu el concepte de "programació lògica" resulta atractiu en diversos camps on la programació tradicional és un fracàs.
La programació lògica troba el seu hàbitat natural en aplicacions d'intel·ligència artificial o relacionades:
La programació lògica també s'utilitza en aplicacions més "mundanes" però de manera molt limitada, ja que la programació tradicional és més adequada a tasques de propòsit general.
La majoria dels llenguatges de programació lògica es basen en la teoria lògica de primer ordre, encara que també incorporen alguns comportaments d'ordre superior. En aquest sentit, destaquen els llenguatges funcionals, ja que es basen en el càlcul lambda, que és l'única teoria lògica d'ordre superior que és demostradament computable (fins al moment).
La programació lògica permet formalitzar fets del món real, per exemple:
les aus volen els pingüins no volen "pichurri" és una au "sandokan" és un gos "alegría" és una au
i també regles o restriccions:
una mascota vola si és una au i no és un pingüí
Davant de tal "programa" és possible establir hipòtesis que no són més que preguntes o incògnites, per exemple:
"pichurri" vola ? quines mascotes volen ?....
Gràcies al fet que la lògica de primer ordre és computable, l'ordinador serà capaç de verificar la hipòtesi, és a dir, respondre a les incògnites:
És cert que "pichurri" vola. "pichurri" i "alegría" volen.
Observi's que el programa lògic no solament és capaç de respondre si una determinada hipòtesi és veritable o falsa, també és capaç de determinar quins valors de la incògnita fan certa la hipòtesi.
Aquest exemple és clarament acadèmic. No obstant això, considerem el següent exemple: el sistema de control de semàfors d'una ciutat.
L'estat de cadascun dels semàfors (verd, vermell o ambre) constitueix els fets del món real. El programa en si consisteix en unes poques regles de sentit comú: determinats semàfors no poden romandre simultàniament en verd, un semàfor solament pot transitar de verd a ambre i d'ambre a vermell, etc. La hipòtesi és l'estat en el qual haurien d'estar cadascun dels semàfors en el següent instant de temps.
Aquest és un exemple impossible de resoldre mitjançant programació tradicional, ja que la lògica subjacent al comportament dels semàfors en el seu conjunt queda emmascarada per simples ordres imperatives del tipus "canviar color de tal o tal altre semàfor".
El llenguatge de programació lògica per excel·lència és Prolog, que compta amb diverses variants. La més important és la programació lògica amb restriccions, que possibilita la resolució d'equacions lineals a més de la demostració d'hipòtesi.
Les següents referències bibliogràfiques corresponen a literatura en anglès:
Existeixen poques referències a literatura en castellà:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.