Re: [eclipse-clp-users] List of Terms to Term

Christian Wirth wrote:

> i want to convert a list of terms into a term:
> 
I am not clear what you mean by this: a list of terms *is* a term itself.

> my list is in cnf and looks like this: [pred(A,B),pred2(A,C)]. The 
> resulting term has to be ListElement1 AND ListElement2 AND ListElement3 ....
> variables have to be preserved as always, functor copy is not enough.
> 

What is AND, and what are ListElements?

In any case, if you want to "preserve" a variable, you just need to
refer to the variable in your source in both the original term, and in
the new term you create. If you create a new term (using 'functor 
copy'), you can then unify the new variables in your new term with the 
variables you want to copy.

Cheers,

Kish


> Anyone an idea ?
> 
> best regards Christian Wirth
> 
> ------------------------------------------------------------------------------
> Download Intel® Parallel Studio Eval
> Try the new software tools for yourself. Speed compiling, find bugs
> proactively, and fine-tune applications for parallel performance.
> See why Intel Parallel Studio got high marks during beta.
> http://p.sf.net/sfu/intel-sw-dev
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.