De hecho cualquier programa lógico puede ser traducido en un programa con restricciones y viceversa.