Second level -- reduce the prolog problem a bit to figure out SWI prolog.