Alexander Burger wrote:


 'or' takes not singular expressions, but whole clause bodies in each
 argument, to allow the implicit 'and' of Prolog. Thus, an additional
 level of parentheses is required.

 A working version would be:

 (be bT (@N) (or ((t1 @N)) ((t2 @N))) )

Helpful as ever! Thank you. With that explanation I eventually got also my 'assertz' got right! Previously it did not assert my desired clause. But you explanation above let me realize, that there too, a extra pair of parentheses were lacking ... :-)

 Cheers, - Alex



Reply via email to