Limbaje de programare funcţionale:
Prolog
Prolog este un limbaj pentru programare logică generală asociat cu inteligenţa artificială şi cu logica computaţională. Prolog îşi are rădăcinile în logica formală şi spre deosebire de multe alte limbaje de programare, Prolog este un limbaj declarativ: logica programului este exprimată prin intermediul relaţiilor, reprezentate adevăruri şi reguli. Limbajul a fost dezvoltat de Alain Colmerauer în Marseille, Franţa în prima jumătate a anilor 1970, iar primul sistem Prolog a fost disponibil în 1972.
Prolog a fost printre primele limbaje de programare logică şi aşadar astăzi este printre cele mai popular în domeniul său cu multe aplicaţii comerciale gratuite. Iniţial a fost conceput ca un limbaj natural şi uşor de utilizat, acesta s-a dezvoltat în mai multe domenii precum demonstraţii matematice, jocuri, sisteme de răspuns automat sau sisteme avansate de control. Mediile moderne de Prolog permit crearea de interfeţe grafice precum şi aplicaţii de administrarea reţelelor.
Hello world:
?- write ('Hello world!') , nl.
Hello world!
true.
?-
|
|
Categorii
|
|
|
|
|