I am currently learning Prolog as part of my artificial intelligence class and as far as I know it's used in many contexts in ai research in my uni.