An approach for teaching logic programming based on real-world applications. - Alexsandro S. Soares; Carlos R. Lopes; Paula C. Souza; Sergio C. Peres (FIE, 2013)