public void TailTest()
{
PrologCodeAtom head = new PrologCodeAtom();
PrologCodeNonEmptyList tail = new PrologCodeNonEmptyList(head);
PrologCodeNonEmptyList prologCodeNonEmptyList = new PrologCodeNonEmptyList(head, tail);
PrologCodeTerm result = prologCodeNonEmptyList.Tail;
Assert.AreEqual(tail, result);
}