Beyond LogLisp: combining functional and relational programming in a reduction setting (1988)

by J A Robinson
Venue:Machine intelligence