Prolog or whatever

I'm too lazy. Just read. You know you want to!