From 323ada012d3bed0c6f7a6d5d0ee14b409b7457c7 Mon Sep 17 00:00:00 2001
From: Charles Krinke
Date: Wed, 13 Aug 2008 14:13:49 +0000
Subject: Mantis#1931. Thank you kindly, Kinoc for a patch that: * Yield Prolog
1.0.1 Released : it passes all but 9 of the 421 tests in the ISO Prolog test
suite (97.8%) . * support dynamic predicates and rules. * support 'import' to
use external static functions improves connection to C# functions * Matches
Yield Prolog r831
---
.../ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs | 8 ++++++++
1 file changed, 8 insertions(+)
(limited to 'OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs')
diff --git a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
index 07993ea..4aa4ce4 100644
--- a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
+++ b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
@@ -98,6 +98,14 @@ namespace OpenSim.Region.ScriptEngine.DotNetEngine.Compiler.YieldProlog
return make(Atom.a(name), args);
}
+ ///
+ /// If arg is another Functor, then succeed (yield once) if this and arg have the
+ /// same name and all functor args unify, otherwise fail (don't yield).
+ /// If arg is a Variable, then call its unify to unify with this.
+ /// Otherwise fail (don't yield).
+ ///
+ ///
+ ///
public IEnumerable unify(object arg)
{
arg = YP.getValue(arg);
--
cgit v1.1