LogicProg er órjúfanlegur hluti af meistaraprófsrannsóknum í fag- og tæknimenntun, um að læra forritunarrökfræði með hjálp reiknigreindar, sem miðar að því að hjálpa nemendum að skilja hugtakið, grundvallaratriði forritunarrökfræði og forritunarmál fyrir byrjendur.