Пређи на садржај

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

С Википедије, слободне енциклопедије

Функционално логичко програмирање је комбинација, у једном програмском језику, од парадигми функционалног програмирања (укључујући и програмирања вишег реда) и логике програмирања (не-детерминистички програмирање, уједињење). Овај стил програмирања је пионир у λПролог[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. 

Спољашње везе

[уреди | уреди извор]