AIMA.Core.Logic.FOL.KB.Data.Chain.getTail C# (CSharp) Method

        public List<Literal> getTail()
        {
            if (0 == literals.Count)
            {
                return _emptyLiteralsList;
            }
            return new ReadOnlyCollection<Literal>(literals.Skip(1).ToList<Literal>()).ToList<Literal>();
                   
        }

        // Returns c if no dropping occurred
        private Chain tryDropping(Chain c)
        {
            Literal head = c.getHead();
            if (null != head && (head is ReducedLiteral))
            {
                Chain dropped = new Chain(c.getTail());
                dropped.setProofStep(new ProofStepChainDropped(dropped, c));
                return dropped;
            }

            return c;
        }