Функционално логичко програмирање
Функционално логичко програмирање је комбинација, у једном програмском језику, од парадигми функционалног програмирања (укључујући и програмирања вишег реда) и логике програмирања (не-детерминистички програмирање, уједињење). Овај стил програмирања је пионир у λПролог[1] у 1990. Други, новији програмски језици функционалне логике укључују Карија и Меркура.
Референце
[уреди | уреди извор]- ^ 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.
Спољашње везе
[уреди | уреди извор]- Functional logic programming at U. Kiel