LEAF[2]

"LEAF: A Language which Integrates Logic, Equations and Functions", R. Barbuti et al in Logic Programming, Functions Relations and Equations, Doug DeGroot et al eds, Prentice-Hall 1986, pp.201-238.