Name of Christmas carol?

I don't know the name of this carol. I sang it in chorus as a teenager in North Carolina in the late 80's. I believe some of the lyrics are as follows "In days of old, the prophets foretold that a king would be born on high". This song is not "Angels we have heard on High". Thanks for your help.