A package of the GOAL runtime combined with SWI Prolog as its KR language