public void assertz_1()
{
AMPredicateSet set = AMPredicateSet.Instance;
AbstractMachineState state = SetupMachine();
IAbstractMachinePredicate pred = set.CreatePredicate("assertz/1");
AbstractTerm X0 = (AbstractTerm)state["X0"];
X0.Assign(new ConstantTerm("it_is_sunny"));
Assert.AreEqual("assertz", pred.Name());
Assert.AreEqual(1, pred.Arity());
pred.Execute(state);
AMProgram program = (AMProgram)state.Program;
Assert.IsNotNull(program["it_is_sunny/0"]);
}