Trealla Prolog: Compact and efficient Prolog interpreter