Designing Learning Object Repository Using First Order Logic | IEEE Conference Publication | IEEE Xplore