I've been meaning to learn Prolog since I took an AI course that focused on theorem proving. I can't help but notice that the webpage looks like one of the awf

I've been meaning to learn Prolog since I took an AI course that focused on theorem proving. I can't help but notice that the webpage looks like one of the awful default Beamer presentation styles.