Programação Lógica

Programação lógica com restrições

Extensão da programação lógica que integra resolvedores de restrições para domínios específicos, como números reais ou domínios finitos.

← Voltar