Journal: Journal of Functional and Logic Programming