The Integration of Functions into Logic Programming. A Survey (1994)

by M Hanus
Venue:Journal of Logic Programming