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