Francesca Toni;Robert A. Kowalski
-;-
The transformational approach to program development
A 25-year perspective on logic programming