A Logic Framework in Scala