New post: "The weirdness of Prolog"