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); }