INTRODUCTION TO TURBO PROLOG - TOWNSEND, CARL (BPB PUBLICATIONS, 2015)