Características
- Esta basado en la solución de problemas usando las limitaciones dadas al programa.
- Estan diseñados para que la computadora resuelva los problemas por nosotros.
- El programador solo necesita preocuparse sobre que problemas necesitan ser resueltos y que condiciones necesitan cumplirse.
- Son utilizados principalmente en investigaciones de inteligencia artificial.
- La mayoría de los lenguajes basados en limitación y programación logica son de quinta generación.