public void UnifyConstant() { AbstractMachineState state = SetupMachine(); UnifyConstantInstruction i = new UnifyConstantInstruction(); object[] args = { "ali" }; state.S = new AbstractTerm(); i.Process(args); i.Execute(state); Assert.AreEqual("unify_constant", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); Assert.AreEqual("ali", ((AbstractTerm)state.S).Data()); }