What is this new karaoke technology?

My friend told me that they went to a karaoke bar where they just search a song in a computer finds it and turns to karaoke? What doyou call it?