不是这个原因，cons已经定义为逻辑数组了

非常抱歉我之前的回答误解了您的问题。如果cons已经定义为逻辑数组，并且仍然出现"无法从constraint转换为logical"的错误，那么可能是由于其他部分代码的问题。

这个错误通常出现在尝试将不兼容的数据类型赋值给变量时。请确保在使用cons之前没有通过其他操作将其转换为constraint类型。您可以检查代码中是否存在这样的转换操作，并确保这些操作不会导致数据类型不匹配。

如果问题仍然存在，请提供更多的代码和错误信息，以便我可以更好地帮助您解决问题。