我是ACL2定理证明的新手。我想根据三个变量的XOR结果更新变量的值。我想“setq”会帮我做到的。(setq out (xor (xor a b) c))
顶层的ACL2错误:在ACL2中,符号SETQ (在软件包“COMMON”中)既没有函数也没有宏定义。我们不能在ACL2中使用主要的Lisp函数吗?是否有另一种方法来更新ACL2中
我现在首先学习的是关于拥有一个控制器、模型和视图的代码。然而,我希望有一个年龄的自定义值,我不知道如何使这个“计算”发生在我的模型中。我一直在使用类似于public int Age {get; set; }的东西,而没有对该变量进行任何计算,但现在我希望根据另一个变量值(如Age = CurrentDate-BirthDate )对该变量值进行处理由于我对{get