SIT 226 LOGIC PROGRAMMING. - Machakos University (Machakos University Press, 2023)