Ejemplos de Prolog WamMachine.Evaluate en C# (CSharp)

Ejemplo n.º 1

Archivo: TermUnificationMethods.cs Proyecto: wallymathieu/Prolog.NET

 public static bool Is(WamMachine machine, WamReferenceTarget[] arguments)
 {
     Debug.Assert(arguments.Length == 2);
     var lhs = arguments[0];
     var rhs = machine.Evaluate(arguments[1]);
     return machine.Unify(lhs, rhs);
 }

Ejemplo n.º 2

        public static bool Is(WamMachine machine, WamReferenceTarget[] arguments)
        {
            Debug.Assert(arguments.Length == 2);
            var lhs = arguments[0];
            var rhs = machine.Evaluate(arguments[1]);

            return(machine.Unify(lhs, rhs));
        }

Ejemplo n.º 3

Archivo: TermUnificationMethods.cs Proyecto: wallymathieu/Prolog.NET

        public static bool Assert(WamMachine machine, WamReferenceTarget[] arguments)
        {
            Debug.Assert(arguments.Length == 1);

            var expression = machine.Evaluate(arguments[0]);
            var codeTerm = expression.GetCodeTerm();
            if (codeTerm != null)
            {
                var codeValue = codeTerm as CodeValue;
                if (codeValue != null)
                {
                    return Convert.ToBoolean(codeValue.Object);
                }
            }

            return false;
        }

Ejemplo n.º 4

        public static bool Assert(WamMachine machine, WamReferenceTarget[] arguments)
        {
            Debug.Assert(arguments.Length == 1);

            var expression = machine.Evaluate(arguments[0]);
            var codeTerm   = expression.GetCodeTerm();

            if (codeTerm != null)
            {
                var codeValue = codeTerm as CodeValue;
                if (codeValue != null)
                {
                    return(Convert.ToBoolean(codeValue.Object));
                }
            }

            return(false);
        }