KIBU2019-04-022019-04-022018-10-17http://erepository.kibu.ac.ke/handle/123456789/553CSC 227: Logic programmingenAttribution-NonCommercial-ShareAlike 3.0 United Stateshttp://creativecommons.org/licenses/by-nc-sa/3.0/us/CSC 227Logic programmingOther