A presentation framework in SWI-Prolog