Relaciones, Restricciones y Abstracciones: Uso de las Herramientas de Programación Lógica en la Industria de la Seguridad