SIT 211: INTRODUCTION TO LOGIC PROGRAMMING - Machakos University (Machakos University Press, 2019)