carol: a joyful song (usually celebrating the birth of Christ)
vocal music: music that is vocalized (as contrasted with instrumental music)
logic programming: creating a program that enables the computer to reason logically