Programación Lógica

Programación lógica con restricciones

Extensión de la programación lógica que integra solucionadores de restricciones para dominios específicos como los números reales o los dominios finitos.

← Volver