prototyping logic programming in Scala