[tahoupt]

It's not all Prolog, but it is all Alice: "Compared to What?: An Introduction to the Analysis of Algorithms" by Gregory J. E. Rawlins