prolog S3 Finished