prolog: Difference between revisions