C# (CSharp) InferenceEngine.Prove Examples

Example #1

 public void GetResult() => Console.WriteLine(_engine?.Prove(_kb, _ask) ?? DPLL.GetResult(_kb, _ask));