it is used for logic programming and for the formalization of programming language theory ububabare bwubuhanga nibyiyumvo byakuruye imitima mbaza ibyaha akurikiranyweho ariko nta kintu na kimwe yambwiye