Prolog code snippets to make your life easier.