A proposal for an educational system service to support teaching/learning process for logic programming | IEEE Conference Publication | IEEE Xplore