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 Scholz            

Phone: +49-6221-533244
Email: ulrich.scholz_at_...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
Received on Wed Mar 28 2007 - 09:37:03 CEST

This archive was generated by hypermail 2.3.0 : Wed Aug 21 2019 - 09:13:31 CEST