public void Reference()
{
AbstractTerm term1 = new AbstractTerm();
AbstractTerm term2 = new AbstractTerm();
term1.Bind(term2);
Assert.AreSame(term2, term1.Reference());
}
public void Unify_ref_lis()
{
AbstractTerm term = new AbstractTerm();
ListTerm con = new ListTerm();
Assert.IsTrue(term.Unify(con));
Assert.AreSame(term.Reference(), con.Reference());
Assert.IsTrue(term.IsList);
Assert.IsFalse(term.IsReference);
}
public void Unify_ref_str()
{
AbstractTerm term = new AbstractTerm();
StructureTerm con = new StructureTerm();
Assert.IsTrue(term.Unify(con));
Assert.AreSame(term.Reference(), con.Reference());
Assert.IsTrue(term.IsStructure);
Assert.IsFalse(term.IsReference);
}
public void Unbind()
{
AbstractTerm term = new AbstractTerm();
ConstantTerm con = new ConstantTerm("ali");
term.Assign(con);
term.Unbind();
Assert.AreNotSame(term.Reference(), con.Reference());
}
public void Unify_ref_con()
{
AbstractTerm term = new AbstractTerm();
ConstantTerm con = new ConstantTerm();
Assert.IsTrue(term.Unify(con));
Assert.AreEqual(term.Data(), con.Data());
Assert.AreSame(term.Reference(), con.Reference());
Assert.IsTrue(term.IsConstant);
Assert.IsFalse(term.IsReference);
}
public override void Execute(AbstractMachineState state)
{
AMProgram program = (AMProgram)state.Program;
AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference();
if (X0.IsReference && X0.Reference() == X0)
{
program.Next();
}
else
{
state.Backtrack();
}
}
public void Assign()
{
AbstractTerm term = new AbstractTerm();
ConstantTerm con = new ConstantTerm("ali");
term.Assign(con);
Assert.AreSame(term.Dereference(), con);
Assert.AreSame(term.Dereference(), con.Dereference());
Assert.AreEqual(term.Data(), con.Data());
Assert.AreSame(term.Reference(), con.Reference());
Assert.IsFalse(term.IsList);
Assert.IsFalse(term.IsObject);
Assert.IsFalse(term.IsReference);
Assert.IsFalse(term.IsStructure);
Assert.IsTrue(term.IsConstant);
}
public override void Execute(AbstractMachineState state)
{
AMProgram program = (AMProgram)state.Program;
AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference();
if (X0.IsConstant)
{
string constantData = (string)X0.Data();
constantData = constantData.Trim(new char[] { '\'' });
if (constantData.Length == 1)
{
program.Next();
}
else
{
state.Backtrack();
return;
}
}
else if (X0.IsReference)
{
if (X0.Reference() == X0)
{
program.Next();
}
else
{
state.Backtrack();
return;
}
}
else
{
state.Backtrack();
}
}