Scala library for first order logic