Introdução às linguagens de programação para clp - Silva, Edilson Alfredo da (2016)