SIT 226: LOGIC PROGRAMMING - Machakos University (MksU Press, 2021)