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); }
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)); }
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; }
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); }