来源：https://stackoverflow.com/questions/26723337/using-the-prolog-in-scala-to-find-available-type-class-instances 标签 scala shapeless constraint-programming logic-programming type-level-computation
