On Jan 29, 2008, at 4:14 PM, D Moon wrote:
On Jan 29, 2008 1:10 PM, Ernest Friedman-Hill wrote:
On Jan 29, 2008, at 12:42 PM, D Moon wrote:
> I thought of something like binding the singleton fact to a
> defglobal, but I think that fails due to modify being a retraction-
> assertion, which I believe would break a prior binding.
> Comments, suggestions, criticisms?
No, that's the solution right there. The same object gets re-
asserted, so the binding doesn't get broken. Once a fact is asserted
in Jess, it's always represented by the same Java object, and its
numeric ID remains unchanged; both of these bits of info are useful
when building up structures out of facts.
fact-ID doesn't change on modify! Thank you, didn't realize that I
could rely on IDs like that. So I bind on assertion and use that
binding in my function call.
(I have misremembered something about a fact modification being a
fact retraction followed by a fact re-assertion.)
No, that part is correct, but it's a special kind of assertion that
preserves the id.
---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences Phone: (925) 294-2154
Sandia National Labs FAX: (925) 294-2234
PO Box 969, MS 9012 [EMAIL PROTECTED]
Livermore, CA 94550 http://www.jessrules.com
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
