[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [spr7631] Defining a Macro

It' me again.

>> To resume I like to define a function 'build-rhet-axiom' such that the evaluation
>> of (build-rhet-axiom 'dog 'snoopi) returns the expression '[dog [snoopi]].

Excuse me, as mentioned in the rest of the message in question, the output of
(build-rhet-axiom 'dog 'snoopi) is supposed to be the (unevaluated) 
rhet command '(assert:rassert [dog [snoopi]]) instead of '[dog [snoopi]).

> This is like saying you want a C expression like " i = i + 3; "  in lisp.

Not exactly the same. I don't just like to construct something like an 
expression (that makes no sense for my purposes, that's a wrong interpretation of 
the problem formulation).
I rather try to to construct a (Lisp) form that (when evaluated) will cause
the insertion of some axioms into an existing database.

 >> IF RHET is a tool in lisp, then either:
 >> (1) it will provide functions to construct what you want or primitives with
 >>     which to do so.
 >> ...

That's right (cf. statement above).

The square bracket [ is a reader extension in RHET. That's what the function 
'build-rhet-axiom' doesn't work the way I expect. 
I made the experience in a Lisp environment not containing RHET, as you can see
below, it works (thanks to Gabriel Inaebnit and Todd Kaufmann)

   USER(1): (defmacro BUILD-RHET-AXIOM (arg1 arg2)
             `'(rassert [,arg1 [,arg2 ]]))
   USER(2): (BUILD-RHET-AXIOM 'test1 'test2)
            (RASSERT [ 'TEST1 [ 'TEST2 ]])

So, the question remains the same, namely:
 Is there an elegant way to define "build-rhet-axiom" (without format and
 read-from-string) such that it returns the expected result,
 even if the square bracket [ is a reader extension? 
Thanks in advance.