模式匹配可以使用point free style实现，网上有很多文章介绍。我想知道更一般化的情况是否也成立，即是否有可能以一种直接的方式在像 J 这样的无点语言中实现 Prolog 的统一。
基本上我想知道是否有任何方法可以弥合点自由语言和 Prolog 之间的差距。