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