inama zose zizaza zizabera muri iki cyumba muramenye ntimunkangurire uwo nkunda in logic programming a definite clause behaves as a goal reduction procedure