Prolog interpreter in Go