There's a Prolog in your Scala: https://www.youtube.com/watch?v=iYCR2wzfdUs

It does compile time computations using generics + implicits