如何在Mozart/Oz中创建非数字约束？

Question

我想实现一个CSP，变量的域是非数字的(就像lisa ann mary joanna那样)。在莫扎特/《绿野仙踪》中有没有办法做到这一点？

Answer 1

在C++中实现语言扩展是可能的，但在语言本身中，这是不可能的。

唯一内置的约束类型是有限域约束(非负整数)、有限集约束(在非负整数集的域上的约束)和记录约束。

也许你可以使用整数常量来模拟你的问题，例如

declare
  %% 4 constants
  Lisa = 1
  Ann = 2
  Mary = 3
  Joanna = 4

  %% N will be the constrained variable
  N
in
  N::[Lisa Ann Mary Joanna]
  {Show N}   %% displays N{1#4}, i.e. N is between 1 and 4

  N \=: Mary %% tell: N is not Mary
  {Show N}   %% displays N{1 2 4}, i.e. N is one of 1,2,4

如果你不想处理有限域，有一种更通用的逻辑编程思想。您可以为变量的不同可能值创建选择点，例如：

declare

  proc {Script A}
     A =
     choice
        lisa
     [] ann
     [] mary
     [] joanna
     end
  end

  {Show {SearchOne Script}}  %% displays "[lisa]"
  {Show {SearchAll Script}}  %% displays "[lisa ann mary joanna]"

也可以使用Combinators对非静态已知数量的值执行此操作。