Loop checking in logic programming by R.N. Bol