Википедија

Funkcionalno logičko programiranje

Funkcionalno logičko programiranje je kombinacija, u jednom programskom jeziku, od paradigmi funkcionalnog programiranja (uključujući i programiranja višeg reda) i logike programiranja (ne-deterministički programiranje, ujedinjenje). Ovaj stil programiranja je pionir u λProlog[1] u 1990. Drugi, noviji programski jezici funkcionalne logike uključuju Karija i Merkura.

Reference uredi

  1. ^ Nadathur, Gopalan; Miller, D. (1998). „Higher-Order Logic Programming”. Ur.: Gabbay, D. M.; Hogger, C. J.; Robinson, J. A. Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming. 5. Oxford University Press. str. 499—590. 0-19-853792-1. 

Literatura uredi

  • Nadathur, Gopalan; Miller, D. (1998). „Higher-Order Logic Programming”. Ur.: Gabbay, D. M.; Hogger, C. J.; Robinson, J. A. Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming. 5. Oxford University Press. str. 499—590. 0-19-853792-1. 

Spoljašnje veze uredi

Preuzeto iz „https://sr.wikipedia.org/w/index.php?title=Функционално_логичко_програмирање&oldid=27039050”