[eclipse-clp-users] Getting legaly named variables / Unifiying Term Lists

From: Christian Wirth <tyrion_at_geek-squad.de>
Date: Wed, 10 Feb 2010 21:27:39 +0100
Hi, it's me once again ....

i'm currenlty using set_var_name in my programm to get lists like this:

List=[pred(Var#1,Var#2)].

i have now a second list

List2=[pred(Var#3,Var#4),pred2(Var#3,Var#4)]

and then i call union(List,List2,Result) and Result becomes 
[pred(Var#1,Var#2),pred2(Var#3,Var#4)], but i need 
[pred(Var#1,Var#2),pred2(Var#1,Var#2)]

this should work, but it only does with "normal" variable names like Var 
.. not with the # in between.

Now i have to choices changing set_var_name to create legal names, but 
the function is build in ??
.. or to get union to somehow correctly consider all named variables ?

best regards Christian Wirth
Received on Wed Feb 10 2010 - 20:27:47 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET