Block world problem using prolog