This notebook loads TRILLP
:- use_module(library(trill)). :- trillp.