The Prolog file sample.ttm

verbatim116#