在千里马中用逻辑表达式求解方程

Question

我正在尝试找到包含逻辑表达式的函数的解决方案，但到目前为止还没有成功。

首先，我定义了几个函数：

isPlant(x) := is ((x = "tree") or (x = "grass"));
isAnimal(x) := is ((x = "cat") or (x = "dog"));
isLiving(x) := is (isAnimal(x) or isPlant(x));

接下来，我试图找到具有这些函数的方程的所有解，但没有获得任何解：

solve([Living(x) = true], [x]); //this returns an empty list instead of [x = "cat", x = "dog", x = "tree", x = "grass"]

是否可以在千里马获得这些功能的解决方案？

Answer 1

求解函数假定域是一组数字。 如果我们首先指定域

(%i) domain : {"tree","grass","cat","dog"};
(%o)                     {cat, dog, grass, tree}

然后我们可以使用 subset 函数来找到方程的解。

(%i) subset(domain,lambda([x], is(isPlant(x)=true)));
(%o)                          {grass, tree}

您定义的函数是谓词，因此返回值 true 和 false ，这意味着方程predicate(x)=true等效于 predicate(x) 。 例如，IsLiving(x)=true当且仅当IsLiving(x) 。 因此，与其找到域中作为方程predicate(x)=true解的元素，不如找到满足谓词的域元素，这更简洁。

(%i) subset(domain,isLiving);
(%o)                     {cat, dog, grass, tree}
(%i) subset(domain,isPlant);
(%o)                          {grass, tree}