{Coinductive Logic Programming and Its Applications}