标签：clpr

  • 使用prolog和clpr约束系统 - java

    时间：2020-8-3

    我希望在桌面应用程序中使用prolog来生成满足约束系统的随机向量。 例如，我们的用户可以在运行时为我们的软件提供以下信息： 给定向量<x1, x2, x3, ... x30>，我们可能有两个约束： x1 > x2 + x3 + x4 x5 <= sin(x6 + x7) 我想做的是生成一个大致遵循以下形式的序言程序： :- rand […]

    标签：, , , ,