AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAssertFact.ProofStepFoChAssertFact C# (CSharp) Method

        public ProofStepFoChAssertFact(Clause implication, Literal fact,
                Dictionary<Variable, Term> bindings, ProofStep predecessor)
        {
            this.implication = implication;
            this.fact = fact;
            this.bindings = bindings;
            if (null != predecessor)
            {
                predecessors.Add(predecessor);
            }
        }