public void ArgumentsArityNameTest() { PrologCodeFact prologCodeFact = new PrologCodeFact("male"); ArrayList result = prologCodeFact.Arguments; int result1 = prologCodeFact.Arity; string result2 = prologCodeFact.Name; Assert.AreEqual(result1, 0); Assert.AreEqual(result2, "male"); }