寻找库以对隐藏在文本中的类比进行操作 - 在思想层面（？）[关闭]

Question

是否有任何库支持类比操作（算法类比推理）以支持逻辑编程语言（或至少某些功能语言）？

还没试过，我只是在看..