Odd snippets and things I've found interesting while learning Prolog