Symbolic AI?

I had some AI courses in uni in early 2010s and we were the last cohort that had Prolog and Logic Based AI.

Most interesting project was the final semester where we competed in teams to create the best team of bots for UE3 CTF.