应用半上下文来传递附加参数 - Applying semicontext for passing additional arguments

这是来自 Mat回答的早期问题的后续问题 从这个开始 e([number(0)] , t1 , Uc0 , Uc0, Bc0 , Bc0) --> []. e([number(1)] , t2 , Uc0 , ...

如何使用带有CLP（FD）和多个约束的DCG枚举组合 - How to enumerate combinations using DCGs with CLP(FD) and multiple constraints

这个问题从Mat 对枚举二进制树的算法改进的回答开始， 二进制树只有一个输入值决定了二叉树的所有节点的数量，并且需要能够有两个输入值，其中一个是一元节点的数量另一个是二进制节点的数量。 虽然我能够通过使用listing / 1和线程额外的状态变量来推导出一个解决方案： e(t, B, B ...

算法的DCG状态实现 - Dcg state implementation of algorithm

长序列和短序列之间的距离是短序列与长序列的任何子序列之间的最小距离，该子序列的长度与短序列的长度相同。 我使用的距离是曼哈顿距离 。 （但是，这应该不重要，因为我希望能够更改距离功能）。 第一个版本显示了一个天真的实现，没有早日放弃。 我生成相​​同长度的所有子序列，将它们映射以 ...

如何避免在Prolog中使用assert和retractall来实现全局（或状态）变量 - How to avoid using assert and retractall in Prolog to implement global (or state) variables

我经常最终在Prolog中编写代码，它涉及一些算术计算（或整个程序中重要的状态信息），首先获取存储在谓词中的值，然后重新计算值，最后使用retractall和assert存储值，因为在Prolog我们不能使用is将值赋值给两次（因此几乎每个需要修改的变量都是全局的）。 我已经知道这在Prolo ...