Mulval: A logic-based network security analyzer
Complexity and Expressive Power of Logic Programming