[eclipse-users] macro and term_expansion

From: <klint09\_at_libero\.it>
Date: Mon, 3 Sep 2007 20:50:07 +0200
Hi folks,

in swi-prolog
1 ?- [user].
|: term_expansion((a(a,A)),(b(b,A))).
|:
% user://1 compiled 0.00 sec, 296 bytes

Yes
2 ?- [user].
|: a(a,3).
|:
% user://2 compiled 0.00 sec, 216 bytes

Yes
3 ?- listing.

b(b, 3).

In Eclipse?

(This is wrong:

[eclipse 1]: [user].
tra(a(a,A),b(b,A).
:-local macro(a/2,tra/2,[term]).

yes
[eclipse 2]: [user].
a(a,1).

yes
[eclipse 3]: b(b,1).

no)


------------------------------------------------------
Leggi GRATIS le tue mail con il telefonino i-mode™ di Wind
http://i-mode.wind.it/
Received on Mon Sep 03 2007 - 19:50:12 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST