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 : Thu Feb 02 2012 - 02:31:58 CET