Go Implementation of Coalgebraic Logic Programming