:- set_prolog_flag(read_hiord, on).
:- use_module(engine(hiord_rt)).
