Prolog page

I am currently writing some reminders for prolog. Over a few months I have an exam over this stuff and writing some functions down keeps into the material. Maybe it's also interresting for readers to read something about prolog.