Making prolog more expressive (1984)

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