Add better support for prolog, and some python snippets.