https://1library.org/document/y6j5717q-programacao-por-restricoes-um-breve-tutorial.html