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

From: Christian Wirth <tyrion_at_...215...>
Date: Tue, 23 Feb 2010 18:25:55 +0100

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.3.0 : Sun Aug 25 2019 - 00:14:50 CEST