English Intermediate The Art of Prolog, Second Edition: Advanced Programming Techniques Leon Sterling,Ehud Shapiro 1994 View book