AIMA.Core.Logic.FOL.Inference.Proof.ProofStepBwChGoal.getJustification C# (CSharp) Метод

        public override String getJustification()
        {
            return "Current Goal " + currentGoal.getAtomicSentence().ToString()
                    + ", " + bindings;
        }
        // END-ProofStep