Go programming as a Prolog style