Функционално логичко програмирање

Из Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу

Функционално логичко програмирање је комбинација, у једном програмском језику, од парадигми функционалног програмирања (укључујући и програмирања вишег реда) и логике програмирања (не-детерминистички програмирање, уједињење). Овај стил програмирања је пионир у λПролог[1] у 1990. Други, новији програмски језици функционалне логике укључују Карија и Меркура.

Референце[уреди]

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

Литература[уреди]

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

Спољашње везе[уреди]