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

From: Christian Wirth <tyrion_at_geek-squad.de>
Date: Tue, 23 Feb 2010 18:25:55 +0100
Hi,

i want to convert a list of terms into a term:

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.

Anyone an idea ?

best regards Christian Wirth
Received on Tue Feb 23 2010 - 17:26:03 CET

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