Taula de continguts:
Definició: què significa Prolog?
Programation en Logique (Programació en lògica) o Prolog és un llenguatge de programació d’alt nivell que té les seves arrels en la lògica de primer ordre o càlcul de predicat de primer ordre. El llenguatge va ser concebut a Marsella, França, a principis dels anys setanta, per un grup liderat per Alain Colmerauer. És un dels primers llenguatges de programació lògica i actualment segueix sent popular. És un llenguatge de programació associat habitualment a la lingüística computacional i a la intel·ligència artificial i s’utilitza en sistemes experts, la prova del teorema i la concordança de patrons sobre arbres analitzadors de llenguatge natural i processament de llenguatges naturals.
Techopedia explica Pròleg
El primer sistema Prolog va ser desenvolupat el 1972 per Colmerauer juntament amb Philippe Roussel i es basava en la interpretació procedimental de Robert Kowalski de les clàusules Horn. També es va motivar en part pel desig de conciliar l’ús de la lògica com a llenguatge de representació del coneixement declaratiu amb la representació processal del coneixement. El pròleg es va desenvolupar a propòsit per al processament del llenguatge natural, relacionat amb les interaccions del llenguatge natural i humà (ordinador).
El pròleg es diferencia d'altres llenguatges de programació, ja que és declaratiu en lloc de seqüències d'ordres. De vegades s'anomena llenguatge basat en regles o declaratiu ja que s'expressa en termes de relacions entre les propietats dels objectes, presentades com a fets i regles. S'inicia un càlcul executant una consulta sobre aquestes relacions.
Les aplicacions inclouen:
- Aprenentatge automàtic
- Planificació de robots
- Raonament automatitzat
- Solucionar problemes
- Recuperació de bases de dades intel·ligent
- Comprensió del llenguatge natural
- Llenguatge d’especificació
