Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry

Andy King

Logic programming is sometimes described as relational programming: a paradigm in which the programmer specifies and composes n-ary relations using systems of constraints. An advan…