Scala-Prolog
Wiki
Not logged in