I think =?iso-8859-1?Q?=5BEXTERN=5D_Manuel_Kollmu=DF?= wrote:
> Isn_t it possible to assert a variable as a fact or a variable fact?
> like this:
>
> (bind ?var number1)
> _.
> (assert (?var))
No, the type of the fact must be known when the call to "assert" is
compiled. You can use an extra level of indirection, though, by
building the code as a string and then evaluating it:
(eval (str-cat "(assert (" ?var "))"))
---------------------------------------------------------
Ernest Friedman-Hill
Advanced Software Research Phone: (925) 294-2154
Sandia National Labs FAX: (925) 294-2234
PO Box 969, MS 9012 [EMAIL PROTECTED]
Livermore, CA 94550 http://herzberg.ca.sandia.gov
--------------------------------------------------------------------
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]
--------------------------------------------------------------------
