Ok, not really PC here, but this sounds to me like a problem crying for a prolog solution (or schelog, if you prefer nice scheme syntax over strange prolog syntax).