Logic programming style DSL for Conflict Resolution written in Common Lisp