Making Prolog more expressive (1984)

by John Lloyd, Rodney Topor
Venue:Journal of Logic Programming