Knowledge Programming in Loops