public void ArgumentsTest() { PrologCodePredicate prologCodePredicate = new PrologCodePredicate("predicate"); ArrayList result = prologCodePredicate.Arguments; Assert.AreEqual(0, result.Count); }