batangaza ko bagiye gucunga no kongera umutekano w'uyu muryango barwanya iterabwoba in logic programming a definite clause behaves as a goal reduction procedure zimwe zisanganywe n'abaganga