more changes to S3 in prolog