AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAssertFact.getJustification C# (CSharp) 메소드

        public override String getJustification()
        {
            return "Assert fact " + fact.ToString() + ", " + bindings;
        }
        // END-ProofStep