Introduction to Turbo PROLOG - TOWNSEND (CARL) (NEW DELHI PEARSON)