1:- use_module(library(trill)). 2 3 4:- trill. % or :- trillp. or :- tornado. 5 6propertyAssertion( tp, a, b). 7propertyAssertion( tp, b, c). 8transitiveProperty(tp). 9symmetricProperty(tp). 10inverseProperties(tp,tpi)