INTRODUCTION TO TURBO PROLOG BY CARL TOWNSEND PDF