Resultados da pesquisa a pedido "clpq"
SWI-Prolog e restrições, biblioteca CLP (FD)
Estou brincando com restrições no prólogo (swi) usando a biblioteca clpfd. Estou tentando identificar quando um conjunto de restrições encapsula ou substitui o outro, por exemplo X <4 encapsula X <7, pois sempre que o primeiro é verdadeiro, o ...