Resultados da pesquisa a pedido "clpq"

2 a resposta

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 ...