Functional Logic Programming

Please expand.

References

An accessible 2010 CACM article is

Sergio Antoy and Michael Hanus. 2010. Functional logic programming. Commun. ACM 53, 4 (April 2010), 74–85. https://doi.org/10.1145/1721654.1721675 pdf

@article{antoy_2010,
	title = {Functional logic programming},
	volume = {53},
	doi = {10.1145/1721654.1721675},
	number = {4},
	journal = {Communications of the ACM},
	author = {Antoy, Sergio and Hanus, Michael},
	year = {2010},
	pages = {74--85}
}