update copyright

Guan/Logic/AddFunc.cs

@@ -1,20 +1,10 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: AddFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Function to add integer or concatenate string.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;
-    using System.Collections.Generic;
 
     internal class AddFunc : StandaloneFunc
     {

Guan/Logic/AndFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: AndFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/ArgumentDescription.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/AssertPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/AutoLoadResource.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/BinaryFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: BinaryFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/BooleanPredicateResolver.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Threading.Tasks;
 
     /// <summary>

Guan/Logic/ComparisonFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: ComparisonFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/CompositePropertyContext.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/CompoundTerm.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections;
     using System.Collections.Generic;
     using System.Text;

Guan/Logic/ConsoleSink.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/Constant.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/Constraint.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
 
     /// <summary>

Guan/Logic/ConstraintPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/CutPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/DynamicPredicateType.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: DynamicPredicateType.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/EmptyPropertyContext.cs

@@ -1,16 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: EmptyPropertyContext.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Property context that does not have any property.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/EnumerablePredicateType.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections;
     using System.Threading.Tasks;
 

Guan/Logic/EvaluatedFunctor.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/EventLogWriter.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/FailPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/ForwardCutPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/Functor.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GetFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: GetFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GetValPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/GroundPredicateResolver.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/GuanException.cs

@@ -1,15 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: GuanException.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Define base exception generated from the trace tool.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GuanExpression.cs

@@ -1,15 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: GuanExpression.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Wrapper for expression used in trace.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GuanFunc.cs

@@ -1,15 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: GuanFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Define the functions that can be used in TraceExpression.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GuanObject.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/GuanPredicate.cs

@@ -1,20 +1,9 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: GuanPredicate.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Predicate expression used for matching trace records.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
-
     public class GuanPredicate
     {
         public static readonly GuanPredicate MatchAll = new GuanPredicate(true);

Guan/Logic/ICompoundTerm.cs

@@ -1,13 +0,0 @@
-//---------------------------------------------------------------------------------------------------------------------
-// Copyright (c) Microsoft Corporation.  All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
-namespace Guan.Logic
-{
-    /// <summary>
-    /// Interface for exporting object to compound term.
-    /// </summary>
-    public interface ICompoundTerm
-    {
-        CompoundTerm ToCompoundTerm();
-    }
-}

Guan/Logic/IFunctorProvider.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/IGuanExpressionContext.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: IGuanExpressionContext.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     public interface IGuanExpressionContext

Guan/Logic/IPropertyContext.cs

@@ -1,16 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: IPropertyContext.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Define the interface for retrieving named property.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/IWaitingTask.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     public interface IWaitingTask

Guan/Logic/IndexedVariable.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/IsPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/JsonPropertyContext.cs

@@ -1,12 +1,10 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
-
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;
-    using System.Collections.Generic;
-    using System.Text;
     using System.Text.Json;
 
     internal sealed class JsonPropertyContext : IPropertyContext

Guan/Logic/LinkedVariable.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/ListTerm.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections;

Guan/Logic/Literal.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: Literal.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/LogPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/MathsFunc.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/Module.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/ModuleProvider.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/NotFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: NotFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/NotPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/ObjectCompundTerm.cs

@@ -1,12 +1,13 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;
     using System.Globalization;
     using System.Reflection;
-    //using Newtonsoft.Json;
+    using Newtonsoft.Json;
 
     /// <summary>
     /// Adapater to expose object properties as a compund term using reflection.
@@ -89,8 +90,7 @@ namespace Guan.Logic
                 return "null";
             }
 
-            return null;
-            //return JsonConvert.SerializeObject(this.value, Formatting.Indented);
+            return JsonConvert.SerializeObject(this.value, Formatting.Indented);
         }
     }
 }

Guan/Logic/OrFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: OrFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/OutputVariable.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: OutputVariable.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/ParallelRulePredicateResolver.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/PredicateResolver.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/PredicateType.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
 
     /// <summary>

Guan/Logic/PropertyMatchFunc.cs

@@ -1,15 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: PropertyMatchFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Function to match/compare trace property.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/Query.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/QueryContext.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/QueryToListPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/RegexPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Text.RegularExpressions;

Guan/Logic/ReleaseAssert.cs

@@ -1,15 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: ReleaseAssert.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Helper class for providing assert behavior in production environment.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/ResolveOrder.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     public enum ResolveOrder

Guan/Logic/Rule.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
     using System.Text.RegularExpressions;
 

Guan/Logic/RulePredicateResolver.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
     using System.Threading.Tasks;
 

Guan/Logic/SetValPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/SleepPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/SplitFunc.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     internal class SplitFunc : BinaryFunc

Guan/Logic/StandaloneFunc.cs

@@ -1,13 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: StandaloneFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/StringFunc.cs

@@ -1,20 +1,9 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: StrFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-// Purpose:
-//   Function to convert object to literal string with quotation marks.
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
-
     internal class StringFunc : UnaryFunc
     {
         public static readonly StringFunc Singleton = new StringFunc();

Guan/Logic/Term.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/TermArgument.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     /// <summary>

Guan/Logic/TermExpression.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
 
     /// <summary>

Guan/Logic/TermOption.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/TermPropertyPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/TracePredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/Tri.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/UnaryFunc.cs

@@ -1,12 +1,7 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Copyright (c) Microsoft Corporation.
-//
-// @File: UnaryFunc.cs
-//
-// @Owner: xunlu
-// @Test:  xunlu
-//
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
+// ------------------------------------------------------------
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/UnificationResult.cs

@@ -1,9 +1,9 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
-    using System;
     using System.Collections.Generic;
     using System.Text;
 

Guan/Logic/UnifyPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/UpdateObjectPredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Threading.Tasks;

Guan/Logic/Utility.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/Variable.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/VariableBinding.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;

Guan/Logic/VariableTable.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System.Collections.Generic;

Guan/Logic/WriteLinePredicateType.cs

@@ -1,6 +1,7 @@
-//---------------------------------------------------------------------------------------------------------------------
+// ------------------------------------------------------------
 // Copyright (c) Microsoft Corporation. All rights reserved.
-//---------------------------------------------------------------------------------------------------------------------
+// Licensed under the MIT License (MIT). See License.txt in the repo root for license information.
+// ------------------------------------------------------------
 namespace Guan.Logic
 {
     using System;