public void HeadTest() { PrologCodePredicate head = new PrologCodePredicate("head"); PrologCodeNonEmptyList prologCodeNonEmptyList = new PrologCodeNonEmptyList(head); object result = prologCodeNonEmptyList.Head; Assert.AreEqual(head, result); }