A Scala library for evaluating sequences of computations written as Scala strings, on domains of arbitrary facts.