How logic is relate to logic programming?