Making PROLOG More Expressive (1984)

by J W Lloyd, R W Topor
Venue:Journal of Logic Programming