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