some prolog experiments