Los lenguajes basados en restricciones son típicamente incrustados en un lenguaje huésped. Este campo fue llamado inicialmente Programación Lógica ...

Los lenguajes basados en restricciones son típicamente incrustados en un lenguaje huésped. Este campo fue llamado inicialmente Programación Lógica con Restricciones y su primer lenguaje fue Prolog. Ambos paradigmas comparten características similares, tales como las variables lógicas (una vez que una variable es asignada a un valor, no puede ser cambiado) o backtracking.