如何添加一个函数(例如,汉明重量)并在右侧出现的表达式中使用它是一些(is)/2目标?
(is)/2
像goal_expansion或term_expansion这样的东西可以帮助吗?
我承认这不是一个很大的功能,但它可以提高我的一些Prolog程序的可读性.
编写自定义(is)/2谓词(实现自定义表达式求值程序)是可行的,但我希望将运行时开销保持在较低水平,因为在这种情况下我不想牺牲运行时开销的可读性.