Loop checking in logic programming door R.N. Bol