An approach for teaching logic programming based on real-world applications | IEEE Conference Publication | IEEE Xplore