The Prolog file sample.sf

verbatim117#