Functional Plus Logic Programming with Built-In and Symbolic Constraints