Prolog samples