it is used for logic programming and for the formalization of programming language theory ni bo babwiriza butumwa ba mbere yesu yohereje kubwiriza ubutumwa bwiza mu karere ka dekapoli