Re: [eclipse-users] Fwd: 'forall' predicate

From: Ulrich Scholz <ulrich.scholz_at_...10...>
Date: Wed, 28 Mar 2007 10:36:56 +0200
> I worked it out. I wrote my own version of copy_term which only  
> duplicated a particular variable. The code is below. If anyone can  
> suggest a more efficient way of doing this, I'd like to hear it.

Have you had a look at copy_term_vars/3 ?

Ulrich

--
Ulrich Scholz            

Phone: +49-6221-533244
Email: ulrich.scholz@...10...

European Media Laboratory GmbH
Schloss-Wolfsbrunnenweg 33
69118 Heidelberg

Amtsgericht Mannheim / HRB 335719
Managing Partner: Dr. h.c. Klaus Tschira, Scientific and Managing
Director: Prof. Dr.-Ing. Andreas Reuter

www.eml-d.villa-bosch.de
   
Received on Wed Mar 28 2007 - 09:37:03 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST