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.