Introduction to Making Music in Logic