Logic And Prolog Programming By Saroj Kaushik Pdf Free !link! - : Techniques for writing programs that can manipulate other programs. Problem Solving & AI