A.  Brogi, Mancarella, P., Pedreschi, D., and Turini, F., ?Logic Programming within a Functional Framework?, in PLILP, 1990, pp. 372-386.