Re: [eclipse-users] macro and term_expansion

From: klint09\_at_libero\.it <klint09_at_...79...>
Date: Tue, 4 Sep 2007 09:52:43 +0200
Hi kish,
my eclipse version is 5.10 su winXP (doseclipse).
Excuse my errors and lapse.
The problem:


> Here is what I get:
> [eclipse 1]: [user].
> tra(a(a,A),b(b,A)).
> :- local macro(a/2,tra/2,[term]).
> user compiled traceable 132 bytes in 0.00 seconds
>
> Yes (0.00s cpu)
> [eclipse 2]: [user].
> a(a,1).
> user compiled traceable 40 bytes in 0.00 seconds
>
> Yes (0.00s cpu)
> [eclipse 3]: b(b,1).
>
> Yes (0.00s cpu)
[eclipse 4]:  a(a,1).

yes.
There is a(a,1).Why ?
Luigi



------------------------------------------------------
Leggi GRATIS le tue mail con il telefonino i-mode™ di Wind
http://i-mode.wind.it/
Received on Tue Sep 04 2007 - 08:52:50 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST