A Prolog-Compiled Higher-Order Functional and Logic Language